Locally Noetherian scheme


locally Noetherian scheme is a scheme.