Net-wise Alexander's subbase theorem of the N-compactness

From MaRDI portal