Theorem CategoryTheory.mateEquiv_counit

Modification history