P
Initializing...
NW01 (wrong rotation W): no Ricci-flat certificate · Prove2Me