Theorem Submodule.isLasker

Modification history

2026-03-04 10:55
Mathlib/RingTheory/Lasker.lean
feat(RingTheory/Lasker): second uniqueness theorem for primary decomposition (#35599) …
Deleted Submodule.isLaskerView on Github →
2026-02-01 08:04
Mathlib/RingTheory/Lasker.lean
refactor(RingTheory/Lasker): generalize from `Ideal` to `Submodule` (#34135) …
Added Submodule.isLaskerView on Github →