feat: make Function generalized field notation more usable#13244

kmill wants to merge 1 commit into

masterleanprover/lean4:masterfrom

kmill_1629leanprover/lean4:kmill_1629Copy head branch name to clipboard