fix: enforce set notation per-element indentation#14350

Kha wants to merge 2 commits into

masterleanprover/lean4:masterfrom

push-zskuxkpuwonqleanprover/lean4:push-zskuxkpuwonqCopy head branch name to clipboard