Nuprl Definition : omral_inj
inj(k,v) == inj(k,v)
Definitions occuring in Statement :
oal_inj: inj(k,v)
,
add_grp_of_rng: r↓+gp
,
oset_of_ocmon: g↓oset
Definitions occuring in definition :
oal_inj: inj(k,v)
,
oset_of_ocmon: g↓oset
,
add_grp_of_rng: r↓+gp
Latex:
inj(k,v) == inj(k,v)
Date html generated:
2016_05_16-AM-08_24_02
Last ObjectModification:
2015_09_23-AM-09_53_17
Theory : polynom_3
Home
Index