Theorem tendsto_fract_right

Modification history