Nuprl Definition : Des
Des(A;a,b.<[a; b]) == {L:A List| descending(a,b.<[a; b];L)}
Definitions occuring in Statement :
descending: descending(a,b.<[a; b];L),
list: T List,
set: {x:A| B[x]}
Definitions occuring in definition :
set: {x:A| B[x]} ,
list: T List,
descending: descending(a,b.<[a; b];L)
FDL editor aliases :
Des
Latex:
Des(A;a,b.<[a; b]) == \{L:A List| descending(a,b.<[a; b];L)\}
Date html generated:
2016_05_15-PM-04_16_58
Last ObjectModification:
2015_09_23-AM-07_47_43
Theory : general
Home
Index