Theorem tendsto_ceil_left_pure_ceil

Modification history