Def CategoryTheory.monoidalIsoComp

Modification history