P
Initializing...
Diaz 2007, Corollaire 2 (P)(1), from Roy's strong six exponentials · Prove2Me