Theorem CategoryTheory.Iso.conjAut_trans

Modification history