Theorem CategoryTheory.hasInitial_of_equivalence

Modification history