P
Initializing...
For M > 0 the certified PG domain contains r = 2M with Ricci = 0 there · Prove2Me