P
Initializing...
KN at a = 0 gives the Reissner–Nordström certificate in standard coordinates · Prove2Me