P
Initializing...
Fixed-point convolution over C[y]/(y^r+1) (Proposition 3.4) · Prove2Me