Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-11-14 15:24 baf59c8d

View on Github →

refactor(order/complete_lattice): define supr and infi with range (#474)

Estimated changes

Modified analysis/measure_theory/outer_measure.lean

Modified analysis/topology/continuity.lean

Modified analysis/topology/topological_space.lean

Modified analysis/topology/uniform_space.lean

Modified data/set/lattice.lean

Modified linear_algebra/basic.lean

Modified order/complete_lattice.lean

modified theorem lattice.Inf_range

modified theorem lattice.Sup_range

modified def lattice.infi

modified def lattice.supr

Modified order/filter.lean