Theorem Set.mem_union_of_disjoint

Modification history

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 →