What's the notion of Cancellation of hypotheses in natural deduction?

Printable View