mathlib icon indicating copy to clipboard operation
mathlib copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

feat(polynomial/field_division): Add `root_set_prod` and clean up lemma statements

Open tb65536 opened this issue 3 years ago • 0 comments

This PR adds root_set_prod (based on roots_prod) and cleans up lemma statements (the file already has {R S : Type*} [field R]).

Open in Gitpod

tb65536 avatar Aug 12 '22 19:08 tb65536