isabelle/valid/mathd_numbertheory_102.thy

(*
  Authors: Albert Qiaochu Jiang
*)

theory mathd_numbertheory_102 imports
  Complex_Main
begin

theorem mathd_numbertheory_102:
  "(2^8) mod 5 = (1::nat)"
  by eval

end