mathlib3
83ec6e06 - feat(analysis/normed_space/inner_product): inner product is infinitely smooth (#5089)

Commit
5 years ago
feat(analysis/normed_space/inner_product): inner product is infinitely smooth (#5089) Co-authored-by: sgouezel <sebastien.gouezel@univ-rennes1.fr>
Author
Parents
Loading