Theorem CategoryTheory.Iso.trans_conjAut

Modification history