smul_mem_class

Stream: Is there code for X?

[Jireh Loreaux]

We don't have any type of set_like classes for submodules, like a smul_mem_class or submodule_class, right? I checked in algebra.module.submodule.basic and group_theory.group_action.sub_mul_action, but didn't find anything of the sort. If not, I plan on adding these.

[Yaël Dillies]

No. The closest we have is docs#submodule.add_subgroup_class.