Theorem Hyperreal.lt_of_pos_of_infinitesimal

Modification history