P
Initializing...
Every ideal `J` of the fixed tangent cell is principal, generated by a degree-`d` form `f` whose chart strict transforms define a two-chart curve datum matching `Dv` of degree `deg Dv`. · Prove2Me