Revert "admiting a flaky Math.Lemma ... RESTORE BEFORE PUSHING TO MASTER!!!"
Revert "admiting a flaky Math.Lemma ... RESTORE BEFORE PUSHING TO MASTER!!!"

This reverts commit b79ce9e7c222be568a65437738821d9464a80c91.

A-Manning/FStar,FStarLang/FStar,A-Manning/FStar,FStarLang/FStar,FStarLang/FStar,A-Manning/FStar