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