Theorem CategoryTheory.conjugateEquiv_mateEquiv_vcomp

Modification history