Nuprl Definition : prec-size
||i;x|| == pcorec-size(lbl,p.a[lbl; p]) i x
Definitions occuring in Statement :
pcorec-size: pcorec-size(lbl,p.a[lbl; p]),
apply: f a
Definitions occuring in definition :
apply: f a,
pcorec-size: pcorec-size(lbl,p.a[lbl; p])
FDL editor aliases :
prec-size
Latex:
||i;x|| == pcorec-size(lbl,p.a[lbl; p]) i x
Date html generated:
2019_06_20-PM-02_04_56
Last ObjectModification:
2019_02_21-PM-08_23_50
Theory : tuples
Home
Index