Theorem tendsto_floor_right'

Modification history