Theorem CategoryTheory.Iso.conjAut_pow

Modification history