Algebra.NormedSpace.Maximum
class
C
a v
normFoldable
normFoldable1