(*
  Authors: Albert Qiaochu Jiang
*)

theory mathd_numbertheory_188 imports
  Complex_Main
begin

theorem mathd_numbertheory_188:
  "gcd 180 168 = (12::nat)"
  by eval


end