If a curve datum matches `Dv`, the level-one left kernel maps to the ideal of `k[X]` generated by the affine polynomial of `Dv`.

Initializing...

If a curve datum matches `Dv`, the level-one left kernel maps to the ideal of `k[X]` generated by the affine polynomial of `Dv`. · Prove2Me