Nuprl Definition : names-list

names-list(s) ==  fst((TERMOF{fset-names-to-list:o, 1:l} s))


Definitions occuring in Statement :  pi1: fst(t),  apply: f a
Definitions occuring in definition :  pi1: fst(t),  apply: f a,  fset-names-to-list
TermOfs occuring in Definition :  fset-names-to-list
FDL editor aliases :  names-list
Latex:
names-list(s)  ==    fst((TERMOF\{fset-names-to-list:o,  1:l\}  s))


Date html generated: 2017_02_21-AM-10_30_52
Last ObjectModification: 2017_02_02-PM-06_45_11

Theory : cubical!type!theory


Home Index