@misc{indiciae9404b79be075, title = {Extension of isometries in real Hilbert spaces}, author = {Soon-Mo Jung}, year = {2021}, url = {https://arxiv.org/abs/2112.13563}, note = {Source identifier: 2112.13563} }