R3: Boyer–Lindquist to ingoing Kerr coordinates with explicit antiderivatives, all real $M,a$

Initializing...

R3: Boyer–Lindquist to ingoing Kerr coordinates with explicit antiderivatives, all real $M,a$ · Prove2Me