A generator of an ideal of the state set is a nonzero nonunit that is regular modulo `π`.

Initializing...

A generator of an ideal of the state set is a nonzero nonunit that is regular modulo `π`. · Prove2Me