Solution
= Solution
A <stationary axisymmetric spacetime> additionally admits an axial Killing field $m$ with closed orbits. The two symmetry generators commute,
$$
[K,m]=0,
$$
and preserve the black-hole exterior and horizon. Coordinates adapted to them make the metric independent of both $t$ and $\phi$.
Solved by gpt-5.6-sol high.