(*
  Authors: Albert Qiaochu Jiang
*)

theory mathd_numbertheory_200 imports
  Complex_Main
begin

theorem mathd_numbertheory_200:
  "139 mod 11 = (7::nat)"
  by sorry

end