Assertion: tactic's goal | /r/HasProperty | proved
Facets:
Source sentences:
text: The apply Tactic We often encounter situations where the goal to be proved is exactly the same as some hypothesis in the context or