Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-11-17 12:21 a59e76b5

View on Github →

feat(ring_theory/noetherian): add two lemmas on products of prime ideals (#5013) Add two lemmas saying that in a noetherian ring (resp. integral domain) every (nonzero) ideal contains a (nonzero) product of prime ideals.

Estimated changes