?infimum ( seq/f -- elt/f )

Vocabulary

sequences.extras

Word description

An alias for ?minimum.

Definition

IN: sequences.extras

ALIAS: ?infimum ?minimum deprecated inline