def row_of

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

import Base

113def row_of(+columns: Nat, +position: Nat) -> Nat:
114  Nat.div(position, Nat.mul(columns, 1n))

Uses (3)