Category:Principal Ideal of Principal Ideal Domain is of Irreducible Element iff Maximal

From ProofWiki
Jump to navigation Jump to search