Mathlib v3 is deprecated. Go to Mathlib v4

Theorem pSet.empty_subset

Modification history

2022-07-19 07:03
src/set_theory/zfc.lean
feat(set_theory/zfc): `Ø ⊆ x` (#15223)
Added pSet.empty_subsetView on Github →