doc: remove duplicated sentence in decide docstring#13890

brettkoonce wants to merge 1 commit into

leanprover:masterleanprover/lean4:masterfrom

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