mathlib

b215e952 - fix(data/set/intervals/basic): fix a typo (#3680)