Mathlib v3 is deprecated. Go to Mathlib v4

Theorem is_open_Ioo

Modification history

2020-02-19 23:20

src/topology/algebra/ordered.lean

feat(analysis/mean_inequalities) : Prove AM-GM (#1836) …

Modified is_open_Ioo View on Github →

2017-09-28 18:08

topology/topological_structures.lean

feat(topology): add Lebesgue measure

Added is_open_Ioo View on Github →