isabelle/valid/mathd_numbertheory_132.thy

(*
  Authors: Albert Qiaochu Jiang
*)

theory mathd_numbertheory_132 imports
  Complex_Main
begin

theorem mathd_numbertheory_132:
  "2004 mod 12 = (0::nat)"
  by eval
    
  

end