Def CategoryTheory.MonoidalNatTrans.id

Modification history