Def very_long_lemma_name_aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa

fix(says tactic): Don’t stumble over `Try this:\n` instead of `Try this:␣` (#7803) …