Def CategoryTheory.TwoSquare.equivNatTrans

Modification history