Added conclude by contradiction construction#34

PatrickMassot merged 3 commits into

PatrickMassot:masterPatrickMassot/verbose-lean4:masterfrom

impermeable:feature/conclude-by-contradictionimpermeable/verbose-lean4:feature/conclude-by-contradictionCopy head branch name to clipboard