Theorem IsCompact.uniform_oscillation

Modification history