Theorem AlgebraicGeometry.Scheme.Γevaluation_naturality

Modification history