Nuprl Definition : int-decr-map-type
int-decr-map-type(Value) == {l:(ℤ × Value) List| l-ordered(ℤ × Value;x,y.(fst(x)) > (fst(y));l)}
Definitions occuring in Statement :
list: T List,
pi1: fst(t),
gt: i > j,
set: {x:A| B[x]} ,
product: x:A × B[x],
int: ℤ
FDL editor aliases :
int-decr-map-type
Latex:
int-decr-map-type(Value) == \{l:(\mBbbZ{} \mtimes{} Value) List| l-ordered(\mBbbZ{} \mtimes{} Value;x,y.(fst(x)) > (fst(y));l)\}
Date html generated:
2016_05_17-PM-01_47_44
Last ObjectModification:
2013_04_15-PM-00_02_25
Theory : datatype-signatures
Home
Index