Theorem AlgebraicGeometry.Scheme.Γevaluation_naturality_apply

Modification history