Theorem isCompact_open_iff_eq_finite_iUnion_of_isTopologicalBasis

Modification history