Theorem AlgebraicGeometry.Scheme.LocalRepresentability.comp_toGlued_eq

Modification history