At a point place of $w^2=h(t)$, the submodule generated by $du$ does not depend on the uniformizer $u$

Initializing...

At a point place of $w^2=h(t)$, the submodule generated by $du$ does not depend on the uniformizer $u$ · Prove2Me