Theorem AlgebraicGeometry.Spec.map_base_apply

Modification history