Konrad Voelkel

checked all links in "Complementary Collections" section and removed the dead ones where no replacement could be easily googled; fixed CVonline link.

Suggestion to add Link to Open new Issue on every page

3

I would have submitted corrections more often and more early if there was a link on each page, preferably putting some identifier of the page I was at into the...

Space Property Suggestion: The Hilbert Cube is homogeneous

1

(not sure if this is a "theorem" in the same way as the properties=>properties theorems) ## Theorem Suggestion The Hilbert Cube [S32](https://topology.pi-base.org/spaces/S000032) is homogeneous [P86](https://topology.pi-base.org/properties/P000086). ## Proof/References The result is...

Theorem Suggestion: Sequential implies Ascoli

4

## Theorem Suggestion If a space is: - [P79](https://topology.pi-base.org/properties/P000079) then it is [P85](https://topology.pi-base.org/properties/P000085). ## Rationale This theorem would demonstrate that no spaces satisfy the following search: https://topology.pi-base.org/spaces?q=Sequential+%26+%7E+Ascoli ## Proof/References The...

Theorem Suggestion: Discrete Finite Space implies Spectral Space

1

## Theorem Suggestion If a space is: - [P52](https://topology.pi-base.org/properties/P000052) - [P78](https://topology.pi-base.org/properties/P000078) then it is [P75](https://topology.pi-base.org/properties/P000075). ## Rationale This theorem would demonstrate that no spaces satisfy the following search: https://topology.pi-base.org/spaces?q=Discrete+%26+Finite+%26+%7E+Spectral+space ##...