Assertion: tactic | /r/CapableOf | say to coq
Facets:
Source sentences:
text: The next tactic, induction n says to Coq: We are going to show the goal by induction on n .