Theorem t2_space_top
Modification history
2018-10-19 00:03
analysis/topology/topological_space.lean
feat(analysis/topology): add type class for discrete topological spaces
Deleted t2_space_topView on Github →2017-08-10 16:36
topology/topological_space.lean
construct reals as complete, linear ordered field
Modified t2_space_topView on Github →