Go back to the tag's page.
Tags: added new tags
Etaleness inherited by map quotients Kinda important for our strategy in proving Keel-Mori