refactor(RingTheory/Lasker): generalize from Ideal to Submodule
#34135
+146
−112
Loading