Theorem CategoryTheory.Iso.conjAut_apply

Modification history