'λx''.(K ''x'')
   HOME

TheInfoList



OR: