feat(L18Pset): drop unnecessary hypotheses#108
Open
arajasek wants to merge 1 commit intoAlexKontorovich:mainfrom
Open
feat(L18Pset): drop unnecessary hypotheses#108arajasek wants to merge 1 commit intoAlexKontorovich:mainfrom
arajasek wants to merge 1 commit intoAlexKontorovich:mainfrom