[Merged by Bors] - fix(Tactic/Convert): support over-applications again#40740

JovanGerb wants to merge 4 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

JovanGerb:Jovan-convert-overapplicationsJovanGerb/mathlib4:Jovan-convert-overapplicationsCopy head branch name to clipboard