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

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