Black-hole uniqueness theorem (source code)

= Black-hole uniqueness theorem

In four-dimensional asymptotically flat <general relativity>, a regular stationary vacuum black hole is a <Kerr black hole> under the standard connectedness and analyticity hypotheses. The electrovacuum extension is the Kerr--Newman family.