Theorem Set.mem_union_of_disjoint

Modification history

2026-04-27 20:25
Mathlib/Data/Set/Disjoint.lean
chore: Rename Xor' to Xor (#37628) …
Modified Set.mem_union_of_disjointView on Github →
2025-07-10 04:21
Mathlib/Data/Set/Disjoint.lean
feat: {Set,Finset}.mem_union_of_disjoint (#26946)
Added Set.mem_union_of_disjointView on Github →