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