chore: move a few test files about tactics into MathlibTest/Tactic - #42922

chore: move a few test files about tactics into MathlibTest/Tactic#42922

joneugster wants to merge 2 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

joneugster:chore/test-files-tactic-folderjoneugster/mathlib4:chore/test-files-tactic-folderCopy head branch name to clipboard