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

Initializing...

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