fix: make cdot anonymous function notation handle ambiguous notation#4833

kmill merged 4 commits intoleanprover:masterleanprover/lean4:masterfrom

kmill:fix_4832kmill/lean4:fix_4832Copy head branch name to clipboard