vieta): add some variations on `prod_X_sub_C_coeff`
#18641

Open

feat(ring_theory/polynomial/vieta): add some variations on `prod_X_sub_C_coeff` #18641

Xialu3421 wants to merge 1 commit into master from vieta'

add lemma'

71401a19

kim-em added awaiting-author

kim-em added awaiting-CI

kim-em added too-late

Reviewers

No reviews

Assignees

No one assigned

Labels

awaiting-author awaiting-CI too-late

Milestone

No milestone