Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-09-26 22:21 432271f9

View on Github →

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

Estimated changes

added theorem set.smul_set_inter'
added theorem set.smul_set_inter