Def CategoryTheory.monoidalCounit

Modification history