Coming soon
This note is part of the notebook and is planned, but has not been written yet.
Planned coverage: Planned note in the GR sequence: Hawking's Horizon-Topology Theorem (stationary horizons are topologically a 2-sphere in four dimensions).