Theorem CategoryTheory.conjugateEquiv_counit_symm

Modification history