Diaz 2007, Corollaire 4: pairs of quotients outside ℒ̃, under the strong six exponentials theorem

Initializing...

Diaz 2007, Corollaire 4: pairs of quotients outside ℒ̃, under the strong six exponentials theorem · Prove2Me