Vacuum certificate: Schwarzschild in outgoing Eddington–Finkelstein coordinates, all real $M$

Initializing...

Vacuum certificate: Schwarzschild in outgoing Eddington–Finkelstein coordinates, all real $M$ · Prove2Me