Commit 2025-05-09 07:03 0de5d4b4

View on Github →

feat(CategoryTheory/Monoidal/Mod_): add a class version of modules over monoid objects (#23972) From Toric

Estimated changes

added def Mod_.mk'
added theorem Mod_Class.assoc_flip