On the crossing special fiber `k⟦t, x⟧ ⧸ (tᵃ xᵇ)` with `a, b > 0`, a function of finite contact with both axes is a nonzerodivisor.

Initializing...

On the crossing special fiber `k⟦t, x⟧ ⧸ (tᵃ xᵇ)` with `a, b > 0`, a function of finite contact with both axes is a nonzerodivisor. · Prove2Me