Def CategoryTheory.MonoidalNatTrans.prod

Modification history