R3 data: Boyer–Lindquist to ingoing Kerr map, inverse, Jacobian and explicit antiderivatives of $1/\Delta$

Initializing...

R3 data: Boyer–Lindquist to ingoing Kerr map, inverse, Jacobian and explicit antiderivatives of $1/\Delta$ · Prove2Me