Theorem Details
import Mathlib
theorem pi_transcendental (p : Polynomial ℝ) : p.eval Real.pi ≠ 0 := sorry
Bounty: 0.0001 ETH
Status: Open
import Mathlib theorem pi_transcendental (p : Polynomial ℝ) : p.eval Real.pi ≠ 0 := sorry
Bounty: 0.0001 ETH
Status: Open