Theorem tendsto_smul_comp_nat_floor_of_tendsto_mul

Modification history