Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-07-19 07:03 c70a787e

View on Github →

feat(set_theory/zfc): Ø ⊆ x (#15223)

Estimated changes

added theorem Set.empty_subset
modified theorem Set.subset_iff
added theorem pSet.empty_subset