Library/Contradiction

Contradiction

Overview

Proof by contradiction