Theorem ax_grothendieck_univ

Modification history