Kerr–Newman in Boyer–Lindquist coordinates: full certificate on the exterior domain

Initializing...

Kerr–Newman in Boyer–Lindquist coordinates: full certificate on the exterior domain · Prove2Me