Theorem topological_space_eq
Modification history
2023-01-30 21:46
src/topology/basic.lean
refactor(topology/{order,*}): review API (#18312) …
Modified topological_space_eqView on Github →2018-02-25 05:09
analysis/topology/topological_space.lean
fix(*): update to lean
Modified topological_space_eqView on Github →2017-08-10 16:41
topology/topological_space.lean
rename open -> is_open, closed -> is_closed
Modified topological_space_eqView on Github →2017-08-10 16:36
topology/topological_space.lean
construct reals as complete, linear ordered field
Modified topological_space_eqView on Github →2017-07-23 18:29
topology/topological_space.lean
refactor(*): use 'lemma' iff statement is private
Modified topological_space_eqView on Github →