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

Initializing...

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