def at_most

import bendtorch-core@0.1.0.0/src/tensor/matmul.bend as Matmul

import Base

333def at_most(+a: Nat, +b: Nat) -> Nat:
334  least(a, b, Nat.is_lt(a, b))

Uses (3)