Nuprl Definition : mu_ex_v4_PrToken
mu_ex_v4_PrToken() == Prior(mu_ex_v4_Token())?
z.{0}
Definitions occuring in Statement :
mu_ex_v4_Token: mu_ex_v4_Token(),
primed-class-opt: Prior(X)?b,
lambda: x.A[x],
natural_number: $n,
single-bag: {x}
FDL editor aliases :
mu_ex_v4_PrToken
mu\_ex\_v4\_PrToken() == Prior(mu\_ex\_v4\_Token())?\mlambda{}z.\{0\}
Date html generated:
2012_02_20-PM-06_31_27
Last ObjectModification:
2012_02_02-PM-02_53_15
Home
Index