P
Initializing...
Binomial expansion of (u+p^rv)^{p^n} modulo p^{n+r+1} · Prove2Me