Theorem FirstOrder.Field.charP_of_model_fieldOfChar

Modification history

2023-09-20 00:51
Mathlib/ModelTheory/Algebra/Field/CharP.lean
feat(ModelTheory): The theory of fields of charP (#7188)
Added FirstOrder.Field.charP_of_model_fieldOfCharView on Github →