P
Initializing...
Complexified negative Bianchi (b), sources kept · Prove2Me