Diaz 2007, Théorème 7: {v, vu, vū} and {v, vu, vu², vu³} are not inside ℒ̃; in particular u, u², u³ are not all in ℒ̃

Initializing...

Diaz 2007, Théorème 7: {v, vu, vū} and {v, vu, vu², vu³} are not inside ℒ̃; in particular u, u², u³ are not all in ℒ̃ · Prove2Me