P
Initializing...
Ideal counting: average of the coefficients of $\zeta_K$ · Prove2Me