5 lines
127 B
Markdown
5 lines
127 B
Markdown
|
theories.topology
|
||
|
|
=================
|
||
|
|
|
||
|
|
* [basic](basic.lean) : open and closed sets, separation axioms, and generated topologies
|