Theorem AddMonoidAlgebra.support_one_subset

Modification history

2024-01-16 15:36
Mathlib/Algebra/MonoidAlgebra/Support.lean
refactor(MonoidAlgebra/Support): reformulate `support_mul` (#8953) …
Added AddMonoidAlgebra.support_one_subsetView on Github →