Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2017-08-02 16:21 da0c346b

View on Github →

fix(*): fix wrt changes in lean

Estimated changes

Modified algebra/lattice/bounded_lattice.lean

Modified algebra/lattice/complete_lattice.lean

deleted theorem lattice.Inf_le_iff

added theorem lattice.Sup_le_iff

added theorem lattice.le_Inf_iff

deleted theorem lattice.le_Sup_iff

Modified algebra/lattice/filter.lean

modified theorem directed_of_chain

modified def filter.at_bot

modified def filter.at_top

modified theorem filter.monotone_lift'

modified theorem filter.monotone_lift

deleted theorem lattice.Sup_le_iff

modified theorem set.monotone_inter

modified theorem set.monotone_prod

modified theorem set.monotone_set_of

Modified algebra/lattice/fixed_points.lean

modified theorem ge_of_eq

Modified algebra/order.lean

modified theorem comp_le_comp_left_of_monotone

Modified data/num/lemmas.lean

Modified data/set/basic.lean

modified theorem set.mem_set_of_eq

Modified tactic/alias.lean

deleted def tactic.alias.alias_attr

Modified topology/uniform_space.lean

modified theorem monotone_comp_rel