conclude_via_implication

proveit.logic.conclude_via_implication(consequent, \*\*defaults_config)

Perform a breadth-first search of implications going in reverse from the consequent until reaching an antecedent that has been proven.

Keyword arguments are accepted for temporarily changing any of the attributes of proveit.defaults.