P
Initializing...
A Noetherian local ring complete for `๐ช` is complete for every proper ideal. ยท Prove2Me