Theorem CategoryTheory.mateEquiv_conjugateEquiv_vcomp

Modification history