ThmDex – An index of mathematical definitions, results, and conjectures.
Result R2974 on D77: Set union
Union of translated Euclidean real sets