danflapjax

Adding properties to S198 and add Locally Euclidean where dimensionality can vary

9

This PR includes two changes. One is that it adds properties to [S198](https://topology.pi-base.org/spaces/S000198) "Disjoint union of the reals and a singleton" so that values for all but 7 properties are...

As mentioned in #706, it would be nice to have a property to describe the idea of local neighborhoods being the same across an entire space, since certain theorems involving...

Add theorems for spectral spaces and introduce Stone spaces

11

This PR introduces the notion of a [Stone space](https://en.wikipedia.org/wiki/Stone_space), which implies that a space is [spectral](https://en.wikipedia.org/wiki/Spectral_space) ([P75](https://topology.pi-base.org/properties/P000075)). Along with a theorem that finite [Sober](https://topology.pi-base.org/properties/P000073) spaces are spectral, this establishes the...

Generalizing theorems by Kolmogorov quotient, automatically

5

> One things noticeable is that, we can check all the theorems and strengthen it to the version that could be pass Kolmogorov quotient, that will be good for spaces...

> I wasn't sure were to post my suggestion, so it ends up here. I noticed that pi-base lacks the property 'nowhere compact' (each compact subset has empty interior) and...