law unflatten_flatten

bendtorch-core@0.1.0.0 · src/shape/LAWS.bend:134

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

134law unflatten_flatten:
135  for +dims: List<&2, Nat>
136  for +coordinate: Shape.Coordinate(dims)
137  {Shape.unflatten(dims, Shape.flatten(dims, coordinate)) == coordinate : Shape.Coordinate(dims)}