P
Initializing...
`BookProof.QuantizationWeyl.Zgen_sq` : Zgen ^ 2 = 0 · Prove2Me