isabelle/valid/mathd_numbertheory_32.thy

(*
  Authors: Wenda Li
*)

theory mathd_numbertheory_32 
  imports Complex_Main "HOL-Computational_Algebra.Computational_Algebra"
  "HOL-Number_Theory.Number_Theory"
begin

theorem mathd_numbertheory_32:
  "(\<Sum> k \<in> { n ::nat. n dvd 36}. k) = 91"
  sorry

end