def mod_one

import bendtorch-core@0.1.0.0/src/tensor/elementwise_walk_proof.bend as ElementwiseWalkProof

import Base

78def mod_one(+i: Nat) -> {Nat.mod(i, 1n) == 0n : Nat}:
79  mod_one_go(i, 0n)

Uses (3)