Commit 2023-09-03 15:44 b6962296
View on Github →feat: The range in a succ order is unbounded (#6883) Strictly monotone/antitone functions from an order without top/bottom to a succ/pred order have unbounded range.
feat: The range in a succ order is unbounded (#6883) Strictly monotone/antitone functions from an order without top/bottom to a succ/pred order have unbounded range.