P
Initializing...
Uniform actual-generation theorem (A): $Z_u(T)\subseteq K_u(T)$ and $\dim K_u(T)-\dim Z_u(T)\le d-1$ (Erdős 624) · Prove2Me