Theorem CategoryTheory.conjugateEquiv_counit

Modification history