mathlib
2a2e7ae6 - fix(analysis/normed_space/lp_space): speedup by squeezing simps (#17098)

Commit

3 years ago

fix(analysis/normed_space/lp_space): speedup by squeezing simps (#17098)

Author

sgouezel

sgouezel

Parents

Loading