Nuprl Definition : matom_ty
Atom{g} == {a:|g|| Atomic(a)}
Definitions occuring in Statement :
matomic: Atomic(a),
set: {x:A| B[x]} ,
grp_car: |g|
Definitions occuring in definition :
set: {x:A| B[x]} ,
grp_car: |g|,
matomic: Atomic(a)
Latex:
Atom\{g\} == \{a:|g|| Atomic(a)\}
Date html generated:
2016_05_16-AM-07_44_20
Last ObjectModification:
2015_09_23-AM-09_51_54
Theory : factor_1
Home
Index