Theorem tendsto_floor_right_pure_floor

Modification history