doc: mark instantiateMVars comment as docstring#13012

SergioChan wants to merge 1 commit intoleanprover:masterleanprover/lean4:masterfrom

SergioChan:fix-issue-13007-worker3SergioChan/lean4:fix-issue-13007-worker3Copy head branch name to clipboard