P
Initializing...
Every family of child ideals over the support of `Dv` is realized by a two-chart curve datum matching `Dv`: any global function with the prescribed chart strict transforms has strict transform `I Q` a · Prove2Me