mathlib3

d1df8f5e - some brainstorming on open subschemes