Noether.Algebra.Vector.Boxed
data
BVector
n v
unsafeFromList
unsafeChangeDimension