Theorem Set.diff_ssubset_left_iff

Modification history

2025-07-04 10:05

Mathlib/Data/Set/Disjoint.lean

chore(Data/Set/Disjoint): move `BooleanAlgebra` material to `Order` (#26724) …

Modified Set.diff_ssubset_left_iff View on Github →

2025-03-21 02:30

Mathlib/Data/Set/Disjoint.lean

feat(Set): lemmas about set difference (#22253) …

Added Set.diff_ssubset_left_iff View on Github →