compactness theorem

theorem

Categories: