If `f' ∈ (t, x) ^ d` has the given strict transforms at all datum points, then its image in the chart pair lies in the curve ideal lattice of every level `j`.

Initializing...

If `f' ∈ (t, x) ^ d` has the given strict transforms at all datum points, then its image in the chart pair lies in the curve ideal lattice of every level `j`. · Prove2Me