LiftedMaps

Tiny package implementing a LinearMap acting on and to a larger vector space from an existing map acting on smaller spaces.