Coallesce duplicate lemmas about pow2, move into Math.Lemmas, add 128…#3910
Draft
mtzguido wants to merge 1 commit intoFStarLang:masterfrom
Draft
Coallesce duplicate lemmas about pow2, move into Math.Lemmas, add 128…#3910mtzguido wants to merge 1 commit intoFStarLang:masterfrom
mtzguido wants to merge 1 commit intoFStarLang:masterfrom
