Theorem sub_div_sub_smul_slope_add_sub_div_sub_smul_slope

Modification history