Theorem CategoryTheory.Iso.conjAut_zpow

Modification history