max package:basement

Get the maximum element of a list
Get Maximum bounds of different Integral / Natural types related to Nat