mathlib

791852eb - feat(polynomial/field_division): Add `root_set_prod` and clean up lemma statements (#16035)

feat(polynomial/field_division): Add `root_set_prod` and clean up lemma statements (#16035) This PR adds `root_set_prod` (based on `roots_prod`) and cleans up lemma statements (the file already has `{R S : Type*} [field R]`).