Algebra.NormedSpace.Sum
class
C
a v
normFoldable
normFoldable1