Nuprl Definition : test

test_xxx(x; y.x[y]) == x[2]

Definitions occuring in Statement : natural_number: $n
FDL editor aliases : test_xxx

Latex:
test\_xxx(x; y.x[y]) == x[2] Date html generated: 2015_07_23-PM-00_27_32 Last ObjectModification: 2014_07_26-PM-10_10_51 Home Index