lean_workbook_plus_77334
OpenCalculate where .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_77334 (n : ℕ) (h : n = 15) : φ n = 8 := by sorry
Source
Calculate where .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_77334 (n : ℕ) (h : n = 15) : φ n = 8 := by sorry