mathlib3
d04f5a55 - feat(algebra/pointwise): lemmas about multiplication of finsets (#10455)

Commit

4 years ago

feat(algebra/pointwise): lemmas about multiplication of finsets (#10455)

Author

b-mehta

b-mehta

Parents

Loading