Theorem CategoryTheory.Equivalence.Equivalence_mk'_unit

Modification history