Mathlib v3 is deprecated. Go to Mathlib v4

Theorem set.union_empty_iff

Modification history

2018-02-08 22:50
data/set/basic.lean
feat(order/conditionally_complete_lattice): Conditionally complete lattices
Added set.union_empty_iffView on Github →