Theorem CategoryTheory.Equivalence.essSurj_of_equivalence

Modification history