def stepped_right

bendtorch-core@0.1.0.0 · src/tensor/matrix_index_proof.bend:249

import Base
import bendtorch-core@0.1.0.0/src/shape/index_proofs.bend as Index

249def stepped_right(+columns: Nat, +column: Nat, +k: Nat) ->
250  {Nat.add(columns, Nat.add(Nat.mul(k, columns), column)) == Nat.add(Nat.mul(1n+k, columns), column) : Nat}:
251  Index.add_assoc(columns, Nat.mul(k, columns), column)