Nuprl Definition : mlnk
mlnk(m) == fst(m)
Definitions occuring in Statement
:
pi1:
fst(t)
FDL editor aliases
:
mlnk
mlnk(m) == fst(m)
Date html generated: 2015_07_17-AM-09_10_59
Last ObjectModification: 2012_02_25-AM-10_52_32
Home
Index