mathlib

abee6498 - feat(data/set/intervals): add lemmas about unions of intervals (#14636)