P
Initializing...
The form polynomial of a vector of length `d + 1` has degree at most `d`. · Prove2Me