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.