~/jendhub

def sq_over

bend-collections-laws-math@1.0.0.0 · src/math/w64.bend:465

import bend-collections-laws-math@1.0.0.0/src/math/w64.bend as W64
import Base
import bend-collections-laws-math@1.0.0.0/src/math/u64.bend as W

465def sq_over(+n: W.U64, +r: U32) -> Bool:
466  lt(n, mul32(r, r))

Uses (5)

Used by (10)