Kronecker substitution and multiplication in $\mathbb C[y]/(y^r+1)$ (Harvey–van der Hoeven Lemma 2.5)

Initializing...

Kronecker substitution and multiplication in $\mathbb C[y]/(y^r+1)$ (Harvey–van der Hoeven Lemma 2.5) · Prove2Me