Theorem AlgebraicGeometry.Spec.basicOpen_hom_ext

Modification history