mathlib
432271f9 - feat(algebra/pointwise): add smul_set_inter (#9374)

Commit

4 years ago

feat(algebra/pointwise): add smul_set_inter (#9374) From #2819 .

Author

alexjbest

alexjbest

Parents

Loading