Page "Godement compactness criterion" not found :(