P
Initializing...
ℒ̃ is stable under complex conjugation · Prove2Me