Theorem Polynomial.Splits.roots_map

Modification history

2026-04-28 12:20
Mathlib/Algebra/Polynomial/Splits.lean
chore(Algebra/Polynomial/Splits): `[CommRing R] [IsSimpleRing R]` -> `[Field R]` (#38591)
Modified Polynomial.Splits.roots_mapView on Github →
2026-01-26 08:43
Mathlib/Algebra/Polynomial/Splits.lean
feat(Algebra/Polynomial/Splits): add `Splits.image_rootSet_of_monic` (#34046) …
Added Polynomial.Splits.roots_mapView on Github →