P
Initializing...
Outer isotropic branch relation (ρ > M/2 ↔ r > 2M), M ≥ 0 · Prove2Me