HomeSearchLibrary
Sequential compactness | OmniWiki