At an exceptional point of the blow-up chart, the strict transform `FA` and the exceptional equation `t` are mutually regular in the completed local ring, and some power of the maximal ideal lies in t

Initializing...

At an exceptional point of the blow-up chart, the strict transform `FA` and the exceptional equation `t` are mutually regular in the completed local ring, and some power of the maximal ideal lies in t · Prove2Me