P
Initializing...
Vacuum certificate: Kerr in Boyer–Lindquist coordinates, all real $M,a$ · Prove2Me