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