chore: move test files and recapitalise file names (part 4)#39683

joneugster wants to merge 1 commit into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

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