mathlib

61750a20 - defined affine schemes and provided basic properties