Nuprl Definition : mkinds
mKinds == {a:Atom| (a ∈ eager-map(λp.(fst(p));L))}
Definitions occuring in Statement :
l_member: (x ∈ l),
eager-map: eager-map(f;as),
pi1: fst(t),
set: {x:A| B[x]} ,
lambda: λx.A[x],
atom: Atom
Definitions occuring in definition :
set: {x:A| B[x]} ,
l_member: (x ∈ l),
eager-map: eager-map(f;as),
lambda: λx.A[x],
pi1: fst(t),
atom: Atom
FDL editor aliases :
mkinds
Latex:
mKinds == \{a:Atom| (a \mmember{} eager-map(\mlambda{}p.(fst(p));L))\}
Date html generated:
2019_06_20-PM-02_14_46
Last ObjectModification:
2019_02_25-PM-01_40_21
Theory : tuples
Home
Index