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