(*
  Authors: Albert Qiaochu Jiang
*)

theory algebra_2rootsintpoly_am10tap11eqasqpam110 imports
  Complex_Main
begin

theorem algebra_2rootsintpoly_am10tap11eqasqpam110:
  fixes a :: complex
  shows "(a-10) * (a+11) = a^2 + a -110"
  by sorry

end