Homs of smooth vector bundles over the same base space #
Here we show that
Bundle.ContinuousLinearMap is a smooth vector bundle.
Note that we only do this for bundles of linear maps, not for bundles of arbitrary semilinear maps.
To do it for semilinear maps, we would need to generalize
ContinuousLinearMap.contDiff) to semilinear maps.