Loading paper
Auxiliary functions in transcendence proofs | Tomesphere