Theorem: book.irrational.e_pow_4_irrational (FormalBook/Chapter_08.lean)

State before:
⊢ irrational (e ^ 4)
Tactic:
sorry
State after:
no goals