Companion note, version 1.13

Version 1.13 records the consequences of Roy's strong six exponentials theorem that are now machine-checked, each with that theorem as a hypothesis.

• Diaz's Corollaires 1, 2, 4 and 5 (JTNB 19, 2007), in general.
• At a candidate: u³ is not in ℒ̃, and λu is not in ℒ̃ for transcendental λ ∈ ℒ̃ on an axis, so e^{βπu} is transcendental.
• At iπ: π² and π³, π² and 1/π, 1/π and 1/π² are pairwise not both in ℒ̃, so an exception to (S) would make e^{π²} transcendental.
• With Baker's theorem as a second hypothesis: the case u ∈ ℒ̃ of the second question on p. 399 of Waldschmidt's book. This is the only derivation not found in the sources read.

It also fixes a sentence that v1.12 left reading "version 1.11". The mirrored library holds 293 results.