Nuprl Definition : free-vs-inc
<s> == {<1, s>}
Definitions occuring in Statement :
pair: <a, b>,
rng_one: 1,
single-bag: {x}
Definitions occuring in definition :
single-bag: {x},
pair: <a, b>,
rng_one: 1
FDL editor aliases :
free-vs-inc
Latex:
<s> == \{ə, s>\}
Date html generated:
2018_05_22-PM-09_46_13
Last ObjectModification:
2018_01_08-PM-06_57_43
Theory : linear!algebra
Home
Index