Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-02-06 09:12 34f9a172

View on Github →

feat(*): a few simple lemmas (#1965)

Estimated changes

Modified src/data/set/basic.lean

added theorem set.nonempty.not_subset_empty

Modified src/order/complete_lattice.lean

added theorem lattice.supr_subtype'

Modified src/order/filter/basic.lean

added theorem filter.nonempty_of_ne_bot

Modified src/topology/algebra/ordered.lean

added theorem infi_of_continuous'

modified theorem infi_of_continuous

added theorem supr_of_continuous'

modified theorem supr_of_continuous