mathlib3

4020ddee - feat(data/set/intervals/unordered_interval): `prod` and `pi` lemmas (#18835)