Theorem Hyperreal.exists_st_of_not_infinite

Modification history