On 12/8/06, Nicolas Frisby <nicolas.frisby at gmail.com> wrote:
> I did see that one on the wiki; but it doesn't seem to support the
> open intervals (i.e. (-inf, 3)) and I'd really like those.
Oh, it does. See BoundaryAboveAll and BoundaryBelowAll.
--
Taral <taralx at gmail.com>
"You can't prove anything."
-- Gödel's Incompetence Theorem