Every ideal in the residue cell of a regular `f` has a generator of the form `f + π h`.

Initializing...

Every ideal in the residue cell of a regular `f` has a generator of the form `f + π h`. · Prove2Me