def column_of

import bendtorch-core@0.1.0.0/src/tensor/contracts/matmul_proof.bend as MatmulProof

import Base

116def column_of(+columns: Nat, +position: Nat) -> Nat:
117  Nat.div(Nat.mod(position, Nat.mul(columns, 1n)), 1n)

Uses (4)