`BookProof.QuantizationWeyl.Ngen_sq` (a b c : ℝ) : (Ngen a b c) ^ 2 = (a * b) • Zgen

Initializing...

`BookProof.QuantizationWeyl.Ngen_sq` (a b c : ℝ) : (Ngen a b c) ^ 2 = (a * b) • Zgen · Prove2Me