Theorem CategoryTheory.Iso.conj_pow

Modification history