Diaz 2007, Corollaire 3 (Q): quotients outside ℒ̃ and ℒ, under the strong six exponentials theorem

Initializing...

Diaz 2007, Corollaire 3 (Q): quotients outside ℒ̃ and ℒ, under the strong six exponentials theorem · Prove2Me