Theorem sub_smul_slope_vadd

Modification history