Theorem Finset.sdiff_subset_sdiff_iff_subset

Modification history

2024-11-11 13:54

Mathlib/Data/Finset/Basic.lean

chore(Data/Finset): split `Basic.lean` into many smaller files (#18610) …

Modified Finset.sdiff_subset_sdiff_iff_subset View on Github →

2024-10-17 19:56

Mathlib/Data/Finset/Basic.lean

feat(Order/BooleanAlgebra, Data/Set/Basic): diff_le_diff_iff (#17876) …

Added Finset.sdiff_subset_sdiff_iff_subset View on Github →