Synopsis:
Code:
-- ../m2/varieties.m2:184 >= InfiniteNumber := >= ZZ := LowerBound => i -> LowerBound{i}