Theorem IsCompact.finite_of_discrete

Modification history