mathlib3
8218a788 - feat(analysis/normed_space/basic): formula for `c • sphere x r` (#10814)

Commit

4 years ago

feat(analysis/normed_space/basic): formula for `c • sphere x r` (#10814)

Author

urkud

urkud

Parents

Loading