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