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