The symmetric Mahler conjecture and its equality cases

We resolve the symmetric Mahler conjecture positively, including its equality classification. Every origin-symmetric convex body in ℝ${}^n$ has volume product at least $4^n/n!$, with equality exactly for invertible linear images of Hanner polytopes.