`BookProof.QuantizationWeyl.Ngen_eq` (a b c : ℝ) : a • Xgen + b • Ygen + c • Zgen = Ngen a b c

Initializing...

`BookProof.QuantizationWeyl.Ngen_eq` (a b c : ℝ) : a • Xgen + b • Ygen + c • Zgen = Ngen a b c · Prove2Me