P
Initializing...
Transported inverse equals the candidate inverse giCtl · Prove2Me