Theorem AlgebraicGeometry.Scheme.LocalRepresentability.yonedaGluedToSheaf_app_toGlued

Modification history