basic): the rescaling of a ball is a ball (#9297)

Commit

4 years ago

feat(analysis/normed_space/basic): the rescaling of a ball is a ball (#9297) Also rename all statements with `ball_0` to `ball_zero` for coherence.

Author

sgouezel

Parents