Theorem CategoryTheory.Equivalence.isEquivalence_unitIso

Modification history