P
Initializing...
Vacuum certificate: Schwarzschild in standard coordinates, all real $M$ · Prove2Me