Nuprl Definition : cdrng
CDRng == {r:CRng| IsEqFun(|r|;=b)}
Definitions occuring in Statement :
crng: CRng,
rng_eq: =b,
rng_car: |r|,
eqfun_p: IsEqFun(T;eq),
set: {x:A| B[x]}
Definitions occuring in definition :
set: {x:A| B[x]} ,
crng: CRng,
eqfun_p: IsEqFun(T;eq),
rng_car: |r|,
rng_eq: =b
Latex:
CDRng == \{r:CRng| IsEqFun(|r|;=\msubb{})\}
Date html generated:
2016_05_15-PM-00_20_43
Last ObjectModification:
2015_09_23-AM-06_25_34
Theory : rings_1
Home
Index