rename lemmas for classical reasoning to avoid clash with fintype#219
Merged
CohenCyril merged 1 commit intomasterfrom Jun 5, 2020
Merged
rename lemmas for classical reasoning to avoid clash with fintype#219CohenCyril merged 1 commit intomasterfrom
CohenCyril merged 1 commit intomasterfrom
