P
Initializing...
`gTerm` is homogeneous of degree `-3` · Prove2Me