Nuprl Definition : ring_non_triv
r ≠ 0 == 1 ≠ 0 ∈ |r|
Definitions occuring in Statement :
rng_one: 1,
rng_zero: 0,
rng_car: |r|,
nequal: a ≠ b ∈ T
Definitions occuring in definition :
nequal: a ≠ b ∈ T ,
rng_car: |r|,
rng_one: 1,
rng_zero: 0
Latex:
r \mneq{} 0 == 1 \mneq{} 0 \mmember{} |r|
Date html generated:
2016_05_15-PM-00_22_17
Last ObjectModification:
2015_09_23-AM-06_25_38
Theory : rings_1
Home
Index