Vocabulary
sequences

Inputs
seqa sequence


Outputs
eltan object


Word description
Outputs the least element of seq.

Errors
Throws an error if the sequence is empty.

See also
min, max, supremum

Definition