Data.LinearMap
type
u
:-*
v
linear
lapply
atBasis
idL
(*.*)
liftMS
liftMS2
liftMS3
liftL
liftL2
liftL3