P
Initializing...
: toLp (0 : FockAlg) = 0 · Prove2Me