Def FirstOrder.Language.Theory.ACF

Modification history

2024-09-04 10:38

Mathlib/ModelTheory/Algebra/Field/IsAlgClosed.lean

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

Added FirstOrder.Language.Theory.ACF View on Github →