Update Tactics.lean/rm dupe sentence#13889

brettkoonce wants to merge 1 commit into

leanprover:masterleanprover/lean4:masterfrom

brettkoonce:patch-1brettkoonce/lean4:patch-1Copy head branch name to clipboard