[Merged by Bors] - feat(Tactic): add syntax for convert!, convert_to!, ac_change!#39715

Vierkantor wants to merge 2 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

Vierkantor:convert-bang-aliasVierkantor/mathlib4:convert-bang-aliasCopy head branch name to clipboard