Theorem IsCompact.closure_eq_biUnion_inseparable

Modification history