isabelle/valid/mathd_numbertheory_640.thy

(*
  Authors: Albert Qiaochu Jiang
*)

theory mathd_numbertheory_640 imports
  Complex_Main
begin

theorem mathd_numbertheory_640:
  "(91145+91146+91147+91148) mod 4 = (2::nat)"
  by eval

end