Mazur–Ulam theorem (source code)

= Mazur–Ulam theorem
{wiki=Mazur–Ulam_theorem}

The Mazur–Ulam theorem is a fundamental result in the field of functional analysis and geometry. It deals with the structure of isometries between normed spaces.