Def category_theory.monoidal_nat_trans.id

Modification history