map-infimum ( seq quot: ( ... elt -- ... elt' ) -- elt' )


Vocabulary
sequences.extras

Word description
An alias for map-minimum.

Definition