Local compactness

Summary