Theorem CategoryTheory.Equivalence.asEquivalence_toAdjunction_unit

Modification history