Theorem CategoryTheory.Iso.conjAut_mul

Modification history