infimum-by ( ... seq quot: ( ... elt -- ... x ) -- ... elt )


Vocabulary
sequences

Word description
An alias for minimum-by.

Definition