Nuprl Definition : per-value
per-value() == per-set(Base;x.(x)↓)
Definitions occuring in Statement :
per-set: per-set(A;a.B[a]),
has-value: (a)↓,
base: Base
Definitions occuring in definition :
per-set: per-set(A;a.B[a]),
base: Base,
has-value: (a)↓
FDL editor aliases :
per-value
Latex:
per-value() == per-set(Base;x.(x)\mdownarrow{})
Date html generated:
2016_05_13-PM-03_54_31
Last ObjectModification:
2015_09_22-PM-05_45_33
Theory : per!type
Home
Index