removed unused lemma sin_cos_squared_add2_mult
removed unused lemma sin_cos_squared_add2_mult

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle