Theorem tendsto_floor_right

Modification history