support): lemmas about support and multiplying with single (#16326)

Commit

3 years ago

feat(algebra/monoid_algebra/support): lemmas about support and multiplying with single (#16326) The new lemmas use weaker assumptions and can be used to shorten some proofs.

Author

adomani

Parents

93354783

mathlib3 16749fc4 - feat(algebra/monoid_algebra/support): lemmas about support and multiplying with single (#16326)

mathlib3
16749fc4 - feat(algebra/monoid_algebra/support): lemmas about support and multiplying with single (#16326)