Theorem Set.forall_mem_union

Modification history

2026-08-16 17:38

Mathlib/Data/Set/Basic.lean

chore(Data/Set): add missing `Set.forall_mem_*` lemmas (#42549) …

Added Set.forall_mem_union View on Github →