Theorem AlgebraicGeometry.Scheme.LocalRepresentability.isRepresentable

Modification history