Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-09-21 00:09 2485d8e9

View on Github →

fix(*): fix build

Estimated changes

Modified analysis/topology/topological_space.lean

Modified linear_algebra/basic.lean

Modified linear_algebra/submodule.lean

Modified logic/function.lean

modified theorem function.inv_fun_on_eq'

Modified order/basic.lean

modified def order.preimage