Theorem tendsto_smul_comp_nat_floor_of_tendsto_nsmul

Modification history