Count of the principal ideals `(f)` of the special fibre `k⟦T, X⟧ ⧸ (T^a X^b)` whose generator satisfies a unit-invariant condition `P` of colength `N` that, read on the truncation `k⟦T, X⟧ ⧸ truncIde

Initializing...

Count of the principal ideals `(f)` of the special fibre `k⟦T, X⟧ ⧸ (T^a X^b)` whose generator satisfies a unit-invariant condition `P` of colength `N` that, read on the truncation `k⟦T, X⟧ ⧸ truncIde · Prove2Me