Def category_theory.monoidal_counit

Modification history