module Noether.Algebra.Vector.Tags where

import           Noether.Lemmata.TypeFu

data VectorLift

data UVectorLift
data BVectorLift
data SVectorLift
data MVectorLift
data SMVectorLift
data UMVectorLift

module Noether.Algebra.Vector.Tags where

import           Noether.Lemmata.TypeFu

data VectorLift

data UVectorLift
data BVectorLift
data SVectorLift
data MVectorLift
data SMVectorLift
data UMVectorLift
