Prefer a chat interface with context about you and your work?
A proof of an Auerbach-Banach-Mazur-Ulam theorem on convex bodies