Theorem AlgebraicGeometry.locallyOfFinitePresentation_stableUnderBaseChange

Modification history