law MatT
import bend-tensors@0.0.0.2/bend_tensors.bend as BendTensorsimport Base
668law MatT:
669 for r: Nat
670 for c: Nat
671 Data
import bend-tensors@0.0.0.2/bend_tensors.bend as BendTensorsimport Base
668law MatT:
669 for r: Nat
670 for c: Nat
671 Data