P
Initializing...
Vacuum certificate: Kerr in ingoing (Kerr's original) coordinates, all real $M,a$ · Prove2Me