Theorem CategoryTheory.Equivalence.asEquivalence_toAdjunction_counit

Modification history