Theorem Set.union_eq_left

Modification history

2023-10-01 12:14
Mathlib/Data/Set/Basic.lean
chore: Make `Set`/`Finset` lemmas match lattice lemma names (#7378) …
Added Set.union_eq_leftView on Github →