Mathlib Changelog
v4
Changelog
About
Github
Theorem
AddMonoidAlgebra.support_one
Modification history
2024-01-16 15:36
Mathlib/Algebra/MonoidAlgebra/Support.lean
refactor(MonoidAlgebra/Support): reformulate `support_mul` (#8953) …
Added
AddMonoidAlgebra.support_one
View on Github →