Theorem AlgebraicGeometry.Scheme.LocalRepresentability.glueData_openCover_map

Modification history