Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-02-25 05:09 14e10bbd

View on Github →

fix(*): update to lean

Estimated changes

Modified analysis/topology/topological_space.lean

modified theorem topological_space_eq

Modified data/list/basic.lean

Modified data/nat/basic.lean

Modified data/seq/computation.lean

Modified data/set/countable.lean

Modified data/set/finite.lean

Modified order/order_iso.lean

Modified set_theory/cardinal.lean

Modified set_theory/cofinality.lean

Modified set_theory/ordinal.lean

Modified set_theory/ordinal_notation.lean

Modified tactic/basic.lean

Modified tactic/finish.lean

Modified tactic/interactive.lean