chore: profile instantiateMVars
at MutualDef.lean
#4923
Merged
instantiateMVars
at MutualDef.lean
#4923