pointwise): the closed thickening of a compact set is the addition of a closed ball. (#11528)

Commit

4 years ago

feat(analysis/normed/group/pointwise): the closed thickening of a compact set is the addition of a closed ball. (#11528)

Author

sgouezel

Parents