isabelle/valid/mathd_algebra_151.thy

(*
  Authors: Wenda Li
*)

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

theorem mathd_algebra_151:
  shows "ceiling (sqrt 27) - floor (sqrt 26) = 1"
  sorry

end