Nuprl Definition : oal_dom
dom(ps) == mk_mset(map(λz.(fst(z));ps))
Definitions occuring in Statement :
mk_mset: mk_mset(as),
map: map(f;as),
pi1: fst(t),
lambda: λx.A[x]
Definitions occuring in definition :
mk_mset: mk_mset(as),
map: map(f;as),
lambda: λx.A[x],
pi1: fst(t)
Latex:
dom(ps) == mk\_mset(map(\mlambda{}z.(fst(z));ps))
Date html generated:
2016_05_16-AM-08_16_28
Last ObjectModification:
2015_09_23-AM-09_52_50
Theory : polynom_2
Home
Index