Theorem FirstOrder.Field.ACF_categorical

Modification history

2024-12-20 11:33

Mathlib/ModelTheory/Algebra/Field/IsAlgClosed.lean

chore(IsAlgClosed/Classification): make theorems more universe polymorphic (#18434)

Modified FirstOrder.Field.ACF_categorical 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.ACF_categorical View on Github →