Commit 2026-04-15 23:53 8e3c9891

View on Github →

feat(Algebra/Algebra/Operations): add Submodule.mul_eq_bot (#37626) Generalize Ideal.mul_eq_bot to work for submodules as well.

Estimated changes

added theorem Submodule.mul_eq_bot
modified theorem Ideal.mul_eq_bot