Def Module.braiding

Modification history

2020-09-14 12:41

src/algebra/category/Module/monoidal.lean

feat(algebra/category/Module): the monoidal category of R-modules is symmetric (#4140)

Added Module.braiding View on Github →