feat: do not have `meta` imply `partial`#11587

Kha merged 1 commit intoleanprover:masterleanprover/lean4:masterfrom

Kha:push-tnmynstnmprlKha/lean4:push-tnmynstnmprlCopy head branch name to clipboard