Mathlib v3 is deprecated. Go to Mathlib v4

Theorem set.pointwise_mul_eq_Union_mul_left

Modification history