law VecT

bend-tensors@0.0.0.2 · bend_tensors.bend:450

import bend-tensors@0.0.0.2/bend_tensors.bend as BendTensors
import Base

450law VecT:
451  for n: Nat
452  Data

Uses (3)

Used by (41)