lean_workbook_plus_36920
OpenHow many positive divisors does have?
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_36920 : (∑ k in (Nat.divisors 72), 1) = 12 := by sorry
Source
How many positive divisors does have?
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_36920 : (∑ k in (Nat.divisors 72), 1) = 12 := by sorry