Theorem ax_grothendieck_of_definable

Modification history