Theorem CategoryTheory.Equivalence.cancel_counit_right

Modification history