~/jendhub

def is_prime

bend-collections-laws-math@1.0.0.0 · proofs/math/number/fixprime.bend:30

import bend-collections-laws-math@1.0.0.0/proofs/math/number/fixprime.bend as Fixprime
import Base
import bend-collections-laws-math@1.0.0.0/spec/math/fixed.bend as SF
import bend-collections-laws-math@1.0.0.0/proofs/math/number/prime.bend as PR

30def is_prime(+a: U32) -> SF.IsPrime.value(a):
31  PR.is_prime_value(v(a))

Uses (4)

Used by (1)