Mathlib v3 is deprecated. Go to Mathlib v4

Theorem order_separated

Modification history

2017-08-26 12:24

topology/topological_structures.lean

Merge branch 'master' of https://github.com/leanprover/mathlib

Added order_separated View on Github →

2017-08-25 13:00

topology/topological_structures.lean

refactor(data/finset): fix formatting issues

Deleted order_separated View on Github →

2017-08-24 19:09

topology/topological_structures.lean

feat(topology): add topological structures for groups, ring, and linear orders; add instances for rat and real

Added order_separated View on Github →