Theorem dslope_sub_smul_of_ne

Modification history