Konrad Voelkel
Results
1
comments of
Konrad Voelkel
Ah, I found now the k-space property as [P140](https://topology.pi-base.org/properties/P000140) so there should be both sequential => P140 as well as P140 => Ascoli I didn't find it first because I...