P
Initializing...
KN at Q = 0 gives the Kerr BL vacuum certificate on the exterior · Prove2Me