Function Amin1

Part of:

package f2cl-lib
( amin1 < x > < y > &rest < z > )