Theorem CategoryTheory.Equivalence.isEquivalence_counitIso

Modification history