Nuprl Definition : req-vec
req-vec(n;x;y) == ∀i:ℕn. ((x i) = (y i))
Definitions occuring in Statement :
req: x = y,
int_seg: {i..j-},
all: ∀x:A. B[x],
apply: f a,
natural_number: $n
Definitions occuring in definition :
all: ∀x:A. B[x],
int_seg: {i..j-},
natural_number: $n,
req: x = y,
apply: f a
FDL editor aliases :
req-vec
Latex:
req-vec(n;x;y) == \mforall{}i:\mBbbN{}n. ((x i) = (y i))
Date html generated:
2016_05_18-AM-09_44_56
Last ObjectModification:
2015_09_23-AM-09_12_48
Theory : reals
Home
Index