Theorem CategoryTheory.conjugateEquiv_comm

Modification history