isometry): (pre)image of a (closed) ball or a sphere (#10813)

Commit

4 years ago

feat(topology/metric_space/isometry): (pre)image of a (closed) ball or a sphere (#10813) Also specialize for translations in a normed add torsor.

Author

urkud

Parents