Theorem CategoryTheory.Iso.unop_trans

Modification history