# Regular implies locally noetherian theorem

Let $X$ be a scheme, and possibly some arrows, satisfying the following conditions:

• $X$ regular
Then
• $X$ locally noetherian

## References

• Stacks, https://stacks.math.columbia.edu/tag/02IS (Georgios)