Theorem Submodule.smul_induction_on

Modification history