Chart-independent form of the strict-transform equation: let `P` be finitely many distinct maximal ideals of a noetherian ring `A` containing `z`, with local equations `g` of finite contact with `z`,

Initializing...

Chart-independent form of the strict-transform equation: let `P` be finitely many distinct maximal ideals of a noetherian ring `A` containing `z`, with local equations `g` of finite contact with `z`, · Prove2Me