mathlib

4630067c - chore(data/set/intervals): syntax clean up (#8087)