Nuprl Definition : equal_upto
equal_upto(n;f;g) == 
m:
n. ((f m) = (g m))
Definitions occuring in Statement :
int_seg: {i..j
},
nat: ,
all: x:A. B[x],
apply: f a,
natural_number: $n,
equal: s = t
FDL editor aliases :
equal_upto
equal\_upto(n;f;g) == \mforall{}m:\mBbbN{}n. ((f m) = (g m))
Date html generated:
2013_03_20-AM-10_38_56
Last ObjectModification:
2013_03_16-PM-11_54_51
Home
Index