Nuprl Definition : oal_inj
inj(k,v) == if v =b e then [] else [<k, v>] fi
Definitions occuring in Statement :
cons: [a / b],
nil: [],
ifthenelse: if b then t else f fi ,
infix_ap: x f y,
pair: <a, b>,
grp_id: e,
grp_eq: =b
Definitions occuring in definition :
ifthenelse: if b then t else f fi ,
infix_ap: x f y,
grp_eq: =b,
grp_id: e,
cons: [a / b],
pair: <a, b>,
nil: []
Latex:
inj(k,v) == if v =\msubb{} e then [] else [<k, v>] fi
Date html generated:
2016_05_16-AM-08_18_38
Last ObjectModification:
2015_09_23-AM-09_52_54
Theory : polynom_2
Home
Index