Theorem FirstOrder.Field.lift_genericMonicPoly

Modification history

2025-03-12 08:26

Mathlib/ModelTheory/Algebra/Field/IsAlgClosed.lean

chore(whitespace): more changes (#22853) …

Modified FirstOrder.Field.lift_genericMonicPoly View on Github →

2024-09-04 10:38

Mathlib/ModelTheory/Algebra/Field/IsAlgClosed.lean

feat(ModelTheory): Lefschetz principle for AlgClosed Fields (#6617) …

Added FirstOrder.Field.lift_genericMonicPoly View on Github →