mathlib3

c43b3329 - feat(data/set/intervals): more properties of intervals (#1753)

feat(data/set/intervals): more properties of intervals (#1753) * feat(data/set/intervals): more properties of intervals * fix docstrings * blank space * iff versions * fix docstring * more details in docstrings