Theorem CategoryTheory.conjugateEquiv_symm_comm

Modification history