Contradictory Antecedent

Theorem
An implication with a contradiction as antecedent:
 * $\bot \implies p \dashv \vdash \top$

Also see

 * Rule of Explosion