isabelle/valid/mathd_numbertheory_961.thy (
10
lines of code) (
raw
):
(* Authors: Albert Qiaochu Jiang *) theory mathd_numbertheory_961 imports Complex_Main begin theorem mathd_numbertheory_961: "2003 mod 11 = (1::nat)" by eval end