Theorem sub_smul_slope

Modification history