Theorem CategoryTheory.iterated_mateEquiv_conjugateEquiv

Modification history