Documentation

Mathlib.Algebra.Category.ModuleCat.Monoidal.Symmetric

The symmetric monoidal structure on Module R. #

(implementation) the braiding for R-modules

Equations
Instances For