feat(L18Pset): drop unnecessary hypotheses#108

arajasek wants to merge 1 commit intoAlexKontorovich:mainAlexKontorovich/RealAnalysisGame:mainfrom

arajasek:asr/drop-aposarajasek/RealAnalysisGame:asr/drop-aposCopy head branch name to clipboard