moving-infimum ( u n -- v )


Vocabulary
math.extras

Word description
An alias for moving-minimum.

Definition