P
Initializing...
Isotropic Schwarzschild (spherical form): vacuum certificate for every M ≥ 0 on ρ > 0, ρ ≠ M/2, 0 < θ < π · Prove2Me