Nuprl Definition : mkr2
mkr2(a;b) == λi.[a; b][i]
Definitions occuring in Statement :
select: L[n],
cons: [a / b],
nil: [],
lambda: λx.A[x]
Definitions occuring in definition :
lambda: λx.A[x],
select: L[n],
cons: [a / b],
nil: []
FDL editor aliases :
mkr2
Latex:
mkr2(a;b) == \mlambda{}i.[a; b][i]
Date html generated:
2017_10_05-AM-00_12_45
Last ObjectModification:
2017_04_10-PM-10_00_34
Theory : inner!product!spaces
Home
Index