Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-09-23 18:55 8c76cace

View on Github →

fix(*): tweaks to 7944cc

Estimated changes

Modified analysis/topology/topological_space.lean

Modified linear_algebra/submodule.lean

added def quotient_module.le_order_embedding

added def quotient_module.lt_order_embedding

deleted def submodule.submodule_lt_equiv

Modified order/basic.lean

Modified order/order_iso.lean

added def order_embedding.lt_embedding_of_le_embedding