mathlib

4ff9b82a - feat(data/set/lattice): new lemma Union_singleton_eq_range (#10819)