Theorem AlgebraicGeometry.locallyOfFinitePresentation_isStableUnderBaseChange

Modification history