Theorem Submodule.smul_induction_on'

Modification history