feat: `backward.privateInPublic` option#10807

Kha merged 1 commit intoleanprover:masterleanprover/lean4:masterfrom

Kha:push-swxozzspnvxnKha/lean4:push-swxozzspnvxnCopy head branch name to clipboard