Theorem 3.6 — for a finite class C, |N_α(C)| ≤ |X|^{⌈log|C|/α²⌉} · Prove2Me

P

Initializing...

Theorem 3.6 — for a finite class C, |N_α(C)| ≤ |X|^{⌈log|C|/α²⌉} · Prove2Me