P
Initializing...
`BookProof.QuantizationWeyl.comm_XY` : Xgen * Ygen - Ygen * Xgen = Zgen · Prove2Me