Commit 2020-02-07 16:57 2007d34f

View on Github →

feat(analysis/normed_space/multilinear): norm on continuous multilinear maps (#1956)

  • feat(analysis/normed_space/multilinear): norm on continuous multilinear maps
  • docstring
  • improved docstrings

Estimated changes