`BookProof.ChapterF1.numberOp_monomial` (n : ℕ) : numberOp (X ^ n) = (n : ℂ) • X ^ n

Initializing...

`BookProof.ChapterF1.numberOp_monomial` (n : ℕ) : numberOp (X ^ n) = (n : ℂ) • X ^ n · Prove2Me