feat(RingTheory/IsPrimary): generalize isPrimary_inf to submodules
#34061
+39
−29
Loading