Theorem sub_smul_dslope

Modification history