P
Initializing...
Lemma 10 — rank-zero classes have oscillation at most $\eta$; separated ones are singletons · Prove2Me