Def category_theory.monoidal_nat_trans.prod

Modification history