Theorem CategoryTheory.Equivalence.Equivalence_mk'_counitInv

Modification history