Def Action.forgetMonoidal

Modification history