Theorem AlgebraicGeometry.Scheme.isoSpec_hom_naturality

Modification history