Nuprl Definition : fin_type
{as} == {a:|s|| ↑(a ∈b as)}
Definitions occuring in Statement :
mem: a ∈b as,
assert: ↑b,
set: {x:A| B[x]} ,
set_car: |p|
Definitions occuring in definition :
set: {x:A| B[x]} ,
set_car: |p|,
assert: ↑b,
mem: a ∈b as
Latex:
\{as\} == \{a:|s|| \muparrow{}(a \mmember{}\msubb{} as)\}
Date html generated:
2016_05_16-AM-07_42_39
Last ObjectModification:
2015_09_23-AM-09_51_48
Theory : list_2
Home
Index