Def Module.monoidal_category.left_unitor

Modification history