Theorem: infinity_of_primes₅ (FormalBook/Chapter_01.lean)

State before:
⊢ Fintype { p // p.Prime } → False
Tactic:
sorry
State after:
no goals