Theorem FirstOrder.Field.realize_eqZero

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.realize_eqZeroView on Github →