Make a lemma in Spec.Hash.Incremental.Lemmas stable
Make a lemma in Spec.Hash.Incremental.Lemmas stable

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