Commit 2026-02-10 09:04 330e6664
View on Github →feat(RingTheory/Lasker): minimal primes arise in any primary decomposition (#34700)
This PR proves that the minimal primes over an ideal I all arise as radicals in any primary decomposition of I.
feat(RingTheory/Lasker): minimal primes arise in any primary decomposition (#34700)
This PR proves that the minimal primes over an ideal I all arise as radicals in any primary decomposition of I.