Theorem AlgebraicGeometry.Scheme.LocalRepresentability.yonedaGluedToSheaf_app_comp

Modification history