# implication-elimination

Implication elimination
