[Merged by Bors] - feat(Algebra/Algebra/Operations): add Submodule.mul_eq_bot
#37626
+14
−11
Loading