doc: remove duplicated sentence in decide docstring#13892

brettkoonce wants to merge 1 commit into

leanprover:masterleanprover/lean4:masterfrom

brettkoonce:path-rebasebrettkoonce/lean4:path-rebaseCopy head branch name to clipboard