min

min : (real real ... -> real)

purpose:
to determine the smallest number


Advanced Student Language


Google