On the chart, the level kernels of finitely many transverse curve germs at exceptional points are principal at every level, generated by the images of chart elements `F j`.

Initializing...

On the chart, the level kernels of finitely many transverse curve germs at exceptional points are principal at every level, generated by the images of chart elements `F j`. · Prove2Me