mathlib3
02ecb62a - feat(analysis/fourier): span of monomials is dense in L^p (#8328)

Commit

4 years ago

feat(analysis/fourier): span of monomials is dense in L^p (#8328)

Author

hrmacbeth

hrmacbeth

Parents

Loading