Theorem eqOn_dslope_sub_smul

Modification history