Explaining how reversible quantum dynamics give rise to thermal behavior is a century-old problem in statistical physics. This work provides a mathematical proof that quantum thermalization must occur ...