Theorem CategoryTheory.mateEquiv_counit_symm

Modification history