chore: move test files and recapitalise file names (part 3)#39682

joneugster wants to merge 1 commit into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

joneugster:test/cleanup-tests-005joneugster/mathlib4:test/cleanup-tests-005Copy head branch name to clipboard