Theorem dslope_sub_smul

Modification history