Commit 2021-09-21 17:41 e0d568e5
View on Github →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.
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.