Theorem CategoryTheory.Iso.conjAut_hom

Modification history