doc: fix typo in docstring of the `cases` tactic#11575

TwoFX merged 1 commit intoleanprover:masterleanprover/lean4:masterfrom

TwoFX:markus/cases-docstring-fixTwoFX/lean4:markus/cases-docstring-fixCopy head branch name to clipboard