Def FirstOrder.Field.genericMonicPoly

Modification history

2026-03-24 02:02
Mathlib/ModelTheory/Algebra/Field/IsAlgClosed.lean
chore: bump toolchain to `v4.29.0-rc7` (#37034) …
Deleted FirstOrder.Field.genericMonicPolyView on Github →
2024-09-04 10:38
Mathlib/ModelTheory/Algebra/Field/IsAlgClosed.lean
feat(ModelTheory): Lefschetz principle for AlgClosed Fields (#6617) …
Added FirstOrder.Field.genericMonicPolyView on Github →