Mathlib Changelog
v4
Changelog
About
Github
Def
QuadraticModuleCat.toModuleCatBraidedFunctor
Modification history
2023-10-17 07:52
Mathlib/LinearAlgebra/QuadraticForm/QuadraticModuleCat/Symmetric.lean
feat: MonoidalCategory (QuadraticModuleCat R) (#7244) …
Added
QuadraticModuleCat.toModuleCatBraidedFunctor
View on Github →