Theorem Polynomial.map_mem_nthRootsFinset_one

Modification history

2025-04-23 03:41

Mathlib/Algebra/Polynomial/Roots.lean

refactor(Algebra/Polynomial/Roots): nthRoots as a Finset (#23293) …

Added Polynomial.map_mem_nthRootsFinset_one View on Github →