Handbook
Glossary
d-infimum ( v -- d )
Vocabulary
units
Inputs
v
an
object
Outputs
d
an
object
Definition
USING:
sequences
;
IN:
units
:
d-infimum
( v -- d )
[
]
[
d-min
]
map-reduce
;