P

Initializing...

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