Nuprl Definition : fpf-dom-list

fpf-dom-list(f) ==  fst(f)


Definitions occuring in Statement :  pi1: fst(t)
Definitions occuring in definition :  pi1: fst(t)
FDL editor aliases :  fpf-dom-list
Latex:
fpf-dom-list(f)  ==    fst(f)


Date html generated: 2018_05_21-PM-09_30_45
Last ObjectModification: 2018_02_09-AM-10_25_15

Theory : finite!partial!functions


Home Index