Nuprl Definition : omral_one
11 == inj(e,1)
Definitions occuring in Statement :
omral_inj: inj(k,v),
rng_one: 1,
grp_id: e
Definitions occuring in definition :
omral_inj: inj(k,v),
grp_id: e,
rng_one: 1
Latex:
11 == inj(e,1)
Date html generated:
2016_05_16-AM-08_26_30
Last ObjectModification:
2015_09_23-AM-09_53_19
Theory : polynom_3
Home
Index