YES
Input TRS:
    1: le(x,0()) -> false()
    2: le(0(),s(y)) -> true()
    3: le(s(x),s(y)) -> le(x,y)
    4: min(cons(x,nil())) -> x
    5: min(cons(x,xs)) -> x | le(x,min(xs)) --> true()
    6: min(cons(x,xs)) -> min(xs) | le(x,min(xs)) --> false()
Infeasibility test:
    le(x1,min(nil())) --> false()
Symbol transition graph:
    min	-->  # 0 cons false le min nil s true
    le	--> false le true
  Collapsable symbols: { min min }