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

Initializing...

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