mathlib3

refactor(module/submodule): allow submodules to be used for sub-distrib_mul_actions

#6642

Open