Go back to the tag's page.
Trivial strengthening of a lemma in more-morphisms
Tags: Added new tags
Openness of locus where fibres geom reduced