Theorem CategoryTheory.Equivalence.ess_surj_of_equivalence

Modification history