Mathlib Changelog
v4
Changelog
About
Github
Theorem
FirstOrder.ACF_models_genericPolyMapSurjOnOfInjOn_of_prime_or_zero
Modification history
2024-11-20 10:13
Mathlib/FieldTheory/AxGrothendieck.lean
feat(ModelTheory): Ax-Grothendieck (#6468)
Added
FirstOrder.ACF_models_genericPolyMapSurjOnOfInjOn_of_prime_or_zero
View on Github →