`BookProof.QuantizationWeyl.Ngen_cube` (a b c : ℝ) : (Ngen a b c) ^ 3 = 0 · Prove2Me

P

Initializing...

`BookProof.QuantizationWeyl.Ngen_cube` (a b c : ℝ) : (Ngen a b c) ^ 3 = 0 · Prove2Me