Nuprl Definition : nat-inf-infinity
∞ == λn.tt
Definitions occuring in Statement :
btrue: tt,
lambda: λx.A[x]
Definitions occuring in definition :
lambda: λx.A[x],
btrue: tt
FDL editor aliases :
ni-inf
Latex:
\minfty{} == \mlambda{}n.tt
Date html generated:
2016_05_15-PM-01_46_56
Last ObjectModification:
2015_09_23-AM-07_37_09
Theory : basic
Home
Index