Remove the [repeat match goal]

We only use each lemma one time, so we don't need it here.