Theorem CategoryTheory.Iso.trans_conj

Modification history