Theorem lim_eq

Modification history