Diaz 2007, Théorème 5: u ∈ ℒ̃ keeps v, vu, vu² out of ℒ̃ (strong six exponentials) and out of ℒ (with Baker)

Initializing...

Diaz 2007, Théorème 5: u ∈ ℒ̃ keeps v, vu, vu² out of ℒ̃ (strong six exponentials) and out of ℒ (with Baker) · Prove2Me