On the special fibre `k⟦T, X⟧ ⧸ (T^a X^b)` with `0 < b`, the contact of `F` with `X` is `ℓ(k⟦T, X⟧ ⧸ (F, X))`.

Initializing...

On the special fibre `k⟦T, X⟧ ⧸ (T^a X^b)` with `0 < b`, the contact of `F` with `X` is `ℓ(k⟦T, X⟧ ⧸ (F, X))`. · Prove2Me