Assertion: apply tactic | /r/CapableOf | work with conditional hypotheses
Facets:
Source sentences:
text: The apply tactic also works with conditional hypotheses and lemmas: if the statement being applied is an implication, then the premises of this implication will be added to the list of subgoals needing to be proved.