Principalisation property

Redirect to:

  • Principal ideal theorem