mathlib
e19473a9 - feat(algebra/pointwise): Multiplying a singleton (#10660)

Commit

4 years ago

feat(algebra/pointwise): Multiplying a singleton (#10660) and other lemmas about `finset.product` and singletons.

Author

YaelDillies

Parents