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