Refactor SqueezeThm statement to include N parameter#18

Roger-Zhou0 wants to merge 1 commit intoAlexKontorovich:mainAlexKontorovich/RealAnalysisGame:mainfrom

Roger-Zhou0:testRoger-Zhou0/RealAnalysisGame:testCopy head branch name to clipboard