Theorem CategoryTheory.Equivalence.hasInitial_iff

Modification history