Theorem CategoryTheory.iterated_mateEquiv_conjugateEquiv_symm

Modification history