Contradictory Antecedent

Theorem
An implication with a contradiction as antecedent:


 * $\bot \implies p \dashv \vdash \top$

Also see

 * Rule of Bottom-Elimination