infimum ( seq -- elt )


Vocabulary
sequences

Word description
An alias for minimum.

Definition