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

State before:
⊢ irrational e
Tactic:
sorry
State after:
no goals