Nuprl Definition : vr_test_abs2
vr_test_abs2(x.f[x]) == 1
Definitions occuring in Statement :
natural_number: $n
FDL editor aliases :
vr_test_abs2
vr\_test\_abs2(x.f[x]) == 1
Date html generated:
2012_02_20-PM-03_35_43
Last ObjectModification:
2012_02_02-PM-03_28_58
Home
Index