`BookProof.ChapterF2.numberOp_coeff` (p : ℂ[X]) (n : ℕ) : (numberOp p).coeff n = (n : ℂ) * p.coeff n

Initializing...

`BookProof.ChapterF2.numberOp_coeff` (p : ℂ[X]) (n : ℕ) : (numberOp p).coeff n = (n : ℂ) * p.coeff n · Prove2Me