P
Initializing...
Lemma 3.7 — a database of size ⌈log|C|/α²⌉ approximates every database on a finite class C · Prove2Me