Mathlib Changelog
v4
Changelog
About
Github
Def
MonoidAlgebra.basis
Modification history
2026-02-03 19:46
Mathlib/Algebra/MonoidAlgebra/Module.lean
feat(Algebra/Lie): basics of loop algebras (#33606) …
Added
MonoidAlgebra.basis
View on Github →