feat(ClickSuggestions): support assigning metavariables in the goal - #43597

feat(ClickSuggestions): support assigning metavariables in the goal#43597

JovanGerb wants to merge 1 commit into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

JovanGerb:Jovan-click_suggestions-mvar-matchingJovanGerb/mathlib4:Jovan-click_suggestions-mvar-matchingCopy head branch name to clipboard