Nuprl Definition : eq-seg-nat-seq
eq-seg-nat-seq(n;m) == init-seg-nat-seq(n;m) ∧b init-seg-nat-seq(m;n)
Definitions occuring in Statement :
init-seg-nat-seq: init-seg-nat-seq(f;g),
band: p ∧b q
Definitions occuring in definition :
band: p ∧b q,
init-seg-nat-seq: init-seg-nat-seq(f;g)
FDL editor aliases :
eq-seg-nat-seq
Latex:
eq-seg-nat-seq(n;m) == init-seg-nat-seq(n;m) \mwedge{}\msubb{} init-seg-nat-seq(m;n)
Date html generated:
2016_05_14-PM-09_57_04
Last ObjectModification:
2016_01_16-PM-01_10_46
Theory : continuity
Home
Index