Theorem CategoryTheory.Iso.op_trans

Modification history