(*
  Authors: Wenda Li
*)

theory mathd_algebra_170 
  imports Complex_Main "HOL-Computational_Algebra.Computational_Algebra"
begin

theorem mathd_algebra_170:
  "card { n::int. abs (n - 2) \<le> 5 + 6 / 10} = 11"
  by sorry

end