Theorem CategoryTheory.NatTrans.monoidal_of_preservesFiniteProducts

Modification history