mathlib3

feat(data/set/intervals): more properties of intervals

#1753

Merged