lean_workbook_plus_30742
ProvedProve that for all real numbers n other than , that = 1.
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_30742 (n : ℝ) (hn : n ≠ 0) : n^0 = 1 := by sorry
Source
Prove that for all real numbers n other than , that = 1.
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_30742 (n : ℝ) (hn : n ≠ 0) : n^0 = 1 := by sorry