`BookProof.QuantizationWeyl.Zgen_central` : Xgen * Zgen = 0 ∧ Zgen * Xgen = 0 ∧ Ygen * Zgen = 0 ∧ Zgen * Ygen = 0

Initializing...

`BookProof.QuantizationWeyl.Zgen_central` : Xgen * Zgen = 0 ∧ Zgen * Xgen = 0 ∧ Ygen * Zgen = 0 ∧ Zgen * Ygen = 0 · Prove2Me