Nuprl Definition : crng
CRng == {r:Rng| Comm(|r|;*)}
Definitions occuring in Statement :
rng: Rng,
rng_times: *,
rng_car: |r|,
comm: Comm(T;op),
set: {x:A| B[x]}
Definitions occuring in definition :
set: {x:A| B[x]} ,
rng: Rng,
comm: Comm(T;op),
rng_car: |r|,
rng_times: *
Latex:
CRng == \{r:Rng| Comm(|r|;*)\}
Date html generated:
2016_05_15-PM-00_20_42
Last ObjectModification:
2015_09_23-AM-06_25_34
Theory : rings_1
Home
Index