Def CategoryTheory.monoidalComp

Modification history