`BookProof.QuantizationWeyl.sum_XYZ` (a b : ℝ) : a • Xgen + b • Ygen + (a * b / 2) • Zgen = Ngen a b (a * b / 2)

Initializing...

`BookProof.QuantizationWeyl.sum_XYZ` (a b : ℝ) : a • Xgen + b • Ygen + (a * b / 2) • Zgen = Ngen a b (a * b / 2) · Prove2Me