Boyer–Lindquist to ingoing Kerr map is smooth on the regular domain (generic antiderivatives)

Initializing...

Boyer–Lindquist to ingoing Kerr map is smooth on the regular domain (generic antiderivatives) · Prove2Me