Theorem Hyperreal.InfiniteNeg.not_infinitePos

Modification history