Revision #844 → #1364 · back to history
addedLindemann–Weierstrass theorem798be804cfbf
addedEquivalent formulation (Baker)96c7e22af0d0
addedTranscendence of e868d6f0fc5d6
addedTranscendence of e^α via second formulatione7b2d181e4e1
addedTranscendence of πb809dcbc3109
addedTranscendence of sin, cos, tan of algebraic numbers5787e8b42ecf
addedp-adic Lindemann–Weierstrass Conjecturebb5aca6b556a
addedModular conjecture0f3fd0e12dc0
addedLindemann–Weierstrass Theorem (Baker's reformulation)6036f3fd82f2
addedLemma A implies e is irrationalfe5e64c0579e
addedLemma A implies π is irrational2ac6e51ec897
addedLemma B implies e is transcendental15ed8d49a194
addedLemma B implies π is transcendental9049340211ce