`BookProof.ChapterF2.numberOp_support` (p : ℂ[X]) : (numberOp p).support ⊆ p.support

Initializing...

`BookProof.ChapterF2.numberOp_support` (p : ℂ[X]) : (numberOp p).support ⊆ p.support · Prove2Me