Domain-coverage witnesses: $r=2M$ in EF, $\Delta<0$ in Boyer–Lindquist, $\Delta=0$ in ingoing Kerr

Initializing...

Domain-coverage witnesses: $r=2M$ in EF, $\Delta<0$ in Boyer–Lindquist, $\Delta=0$ in ingoing Kerr · Prove2Me