isabelle/valid/mathd_numbertheory_169.thy

(*
  Authors: Albert Qiaochu Jiang
*)

theory mathd_numbertheory_169 imports
Complex_Main

begin

theorem mathd_numbertheory_169:
  "gcd (fact 20) 200000 = (40000::nat)"
  sorry

end