Theorem CategoryTheory.Equivalence.Equivalence_mk'_counit

Modification history