Nuprl Definition : integ_dom
IntegDom{i} == {r:CRng| IsIntegDom(r)}
Definitions occuring in Statement :
integ_dom_p: IsIntegDom(r),
crng: CRng,
set: {x:A| B[x]}
Definitions occuring in definition :
set: {x:A| B[x]} ,
crng: CRng,
integ_dom_p: IsIntegDom(r)
Latex:
IntegDom\{i\} == \{r:CRng| IsIntegDom(r)\}
Date html generated:
2016_05_15-PM-00_22_35
Last ObjectModification:
2015_09_23-AM-06_25_41
Theory : rings_1
Home
Index