Theorem Finset.union_eq_left_iff_subset

Modification history

2023-10-01 12:14

Mathlib/Data/Finset/Basic.lean

chore: Make `Set`/`Finset` lemmas match lattice lemma names (#7378) …

Deleted Finset.union_eq_left_iff_subset View on Github →

2023-01-16 08:13

Mathlib/Data/Finset/Basic.lean

feat: port Data.Finset.Basic (#1555)

Added Finset.union_eq_left_iff_subset View on Github →