isabelle/valid/mathd_algebra_536.thy

(*
  Authors: Wenda Li
*)

theory mathd_algebra_536 
  imports Complex_Main "HOL-Computational_Algebra.Computational_Algebra"
    "HOL-Number_Theory.Number_Theory"
begin

theorem mathd_algebra_536:
  "fact 3 * (2^3 + sqrt 9) / 2 = 33"
  sorry

end