conclude_via_implication
========================

.. currentmodule:: proveit.logic

.. autofunction:: conclude_via_implication