Isometric isomorphism of normed spaces (source code)

= Isometric isomorphism of normed spaces

An isometric isomorphism between normed spaces is a bijective linear map $T$ satisfying $\|Tx\|=\|x\|$ for every vector $x$.