James Munkres Topology: Theorem 20.4

NoSuchKey