ulib: Math.Lemmas: make some lemmas private
ulib: Math.Lemmas: make some lemmas private

making sure to not break other modules

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