~/jendhub

def odd

bend-collections-laws-math@1.0.0.0 · proofs/math/typed/bgcdnat.bend:94

import bend-collections-laws-math@1.0.0.0/proofs/math/typed/bgcdnat.bend as Bgcdnat
import Base

94def odd(+n: Nat) -> Bool:
95  Nat.is_eq(Nat.mod(n, 2n), 1n)

Uses (4)

Used by (20)