using same lemma name as Hacl.Spec.EC.AddAndDouble2
using same lemma name as Hacl.Spec.EC.AddAndDouble2

mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star