Def Mon_.equiv_lax_monoidal_functor_punit.counit_iso

Modification history