Formal scheme

From Free net encyclopedia