Nuprl Definition : zero_ideal
(0r) == λu.(u = 0 ∈ |r|)
Definitions occuring in Statement :
rng_zero: 0,
rng_car: |r|,
lambda: λx.A[x],
equal: s = t ∈ T
Definitions occuring in definition :
lambda: λx.A[x],
equal: s = t ∈ T,
rng_car: |r|,
rng_zero: 0
Latex:
(0r) == \mlambda{}u.(u = 0)
Date html generated:
2016_05_15-PM-00_22_56
Last ObjectModification:
2015_09_23-AM-06_25_49
Theory : rings_1
Home
Index