chore: move test files and recapitalise filennames

[joneugster]

Continuation of #39674. Renames all test files to use UpperCamelCase. Moves a few files to a folder according to the location of the tested file.

---

While fixing capitalisation on all filenames, this PR makes no effort to sort all test files into according folders. This will be happening in follow-ups.

• depends on: chore: move test files and recapitalise file names (part 2) #39681
• depends on: chore: move test files and recapitalise file names (part 3) #39682
• depends on: chore: move test files and recapitalise file names (part 4) #39683

[github-actions]

PR summary f8021e3f08

Import changes for modified files

No significant changes to the import graph

Import changes for all files

Files	Import difference

---

Declarations diff

No declarations were harmed in the making of this PR! 🐙

You can run this locally as follows

## from your `mathlib4` directory:
git clone https://github.com/leanprover-community/mathlib-ci.git ../mathlib-ci

## summary with just the declaration names:
../mathlib-ci/scripts/pr_summary/declarations_diff.sh <optional_commit>

## more verbose report:
../mathlib-ci/scripts/pr_summary/declarations_diff.sh long <optional_commit>

The doc-module for scripts/pr_summary/declarations_diff.sh in the mathlib-ci repository contains some details about this script.

---

No changes to strong technical debt.

No changes to weak technical debt.

---

note: file MathlibTest/push_neg.lean` was renamed to `MathlibTest/Tactic/Push/PushNeg.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/grind/ac.lean` was renamed to `MathlibTest/Lean/Tactic/Grind/AC.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/SimpRw.lean` was renamed to `MathlibTest/Tactic/SimpRw.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/Lint.lean` was renamed to `MathlibTest/Linter/Lint.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/recover.lean` was renamed to `MathlibTest/Tactic/Recover.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/ErwQuestion.lean` was renamed to `MathlibTest/Tactic/ErwQuestion.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/toAdditiveIrredDef.lean` was renamed to `MathlibTest/Tactic/ToAdditive/ToAdditiveIrredDef.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/MoveAdd.lean` was renamed to `MathlibTest/Tactic/MoveAdd.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/slow_instances.lean` was renamed to `MathlibTest/SlowInstances.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/TermCongr.lean` was renamed to `MathlibTest/Tactic/TermCongr/TermCongr.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/StringDiagram.lean` was renamed to `MathlibTest/Tactic/Widget/StringDiagram.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/conv.lean` was renamed to `MathlibTest/Tactic/Conv.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/casesm.lean` was renamed to `MathlibTest/Tactic/CasesM.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/EmptyLine.lean` was renamed to `MathlibTest/Linter/EmptyLine.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/spread.lean` was renamed to `MathlibTest/Tactic/Spread.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/linear_combination_prime.lean` was renamed to `MathlibTest/Tactic/LinearCombination/LinearCombinationPrime.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/GuardGoalNums.lean` was renamed to `MathlibTest/Tactic/GuardGoalNums.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/ExtractGoal.lean` was renamed to `MathlibTest/Tactic/ExtractGoal.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/ImportHeavyFlexibleLinter.lean` was renamed to `MathlibTest/Linter/ImportHeavyFlexibleLinter.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/Polynomial.lean` was renamed to `MathlibTest/Algebra/Polynomial.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/norm_num_ext.lean` was renamed to `MathlibTest/Tactic/NormNum/NormNumExt.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/norm_num_abs.lean` was renamed to `MathlibTest/Tactic/NormNum/NormNumAbs.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/FieldSimp.lean` was renamed to `MathlibTest/Tactic/FieldSimp.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/apply_congr.lean` was renamed to `MathlibTest/Tactic/ApplyCongr.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/Change.lean` was renamed to `MathlibTest/Tactic/Change.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/fast_instance.lean` was renamed to `MathlibTest/FastInstance.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/ring_compare.lean` was renamed to `MathlibTest/Tactic/Ring/Compare.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/trace.lean` was renamed to `MathlibTest/Tactic/Trace.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/DeprecatedModuleMetaTest.lean` was renamed to `MathlibTest/Linter/DeprecatedModule/DeprecatedModuleMetaTest.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/notation3.lean` was renamed to `MathlibTest/Util/Notation3.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/fail_if_no_progress.lean` was renamed to `MathlibTest/FailIfNoProgress.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/DFinsuppMultiLinear.lean` was renamed to `MathlibTest/Data/DFinsupp/DFinsuppMultiLinear.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/UnusedTactic.lean` was renamed to `MathlibTest/Linter/UnusedTactic/UnusedTactic.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/LongFile.lean` was renamed to `MathlibTest/Linter/Style/LongFile.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/grind/ring.lean` was renamed to `MathlibTest/Lean/Tactic/Grind/Ring.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/NoncommRing.lean` was renamed to `MathlibTest/Tactic/NoncommRing.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/simp_intro.lean` was renamed to `MathlibTest/Tactic/SimpIntro.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/positivity.lean` was renamed to `MathlibTest/Tactic/Positivity.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/ClearExclamation.lean` was renamed to `MathlibTest/Tactic/ClearExclamation.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/GCongr/Core.lean` was renamed to `MathlibTest/Tactic/GCongr/Core.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/instance_diamonds/FieldTheory/SplittingField/Construction.lean` was renamed to `MathlibTest/InstanceDiamonds/FieldTheory/SplittingField/Construction.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/hintAll.lean` was renamed to `MathlibTest/Tactic/Hint/HintAll.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/instance_diamonds/normed.lean` was renamed to `MathlibTest/InstanceDiamonds/Normed.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/Set.lean` was renamed to `MathlibTest/Tactic/Set.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/right_actions.lean` was renamed to `MathlibTest/RightActions.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/finiteness.lean` was renamed to `MathlibTest/Tactic/Finiteness.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/superscript.lean` was renamed to `MathlibTest/Util/Superscript.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/instances/Ring_finiteness.lean` was renamed to `MathlibTest/instances/RingFiniteness.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/PrivateModuleLinter/hasOnlyPrivate.lean` was renamed to `MathlibTest/Linter/PrivateModuleLinter/HasOnlyPrivate.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/congrm.lean` was renamed to `MathlibTest/Tactic/CongrM.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/dfinsupp_notation.lean` was renamed to `MathlibTest/Data/DFinsupp/Notation.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/linear_combination.lean` was renamed to `MathlibTest/Tactic/LinearCombination/LinearCombination.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/grind/grobner.lean` was renamed to `MathlibTest/Lean/Tactic/Grind/Grobner.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/hint.lean` was renamed to `MathlibTest/Tactic/Hint/Hint.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/grind/natCast_instance.lean` was renamed to `MathlibTest/Lean/Tactic/Grind/NatCastInstance.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/cases.lean` was renamed to `MathlibTest/Tactic/Cases.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/TermCongr2.lean` was renamed to `MathlibTest/Tactic/TermCongr/TermCongr2.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/choose.lean` was renamed to `MathlibTest/Tactic/Choose/Choose.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/Subsingleton.lean` was renamed to `MathlibTest/Tactic/Subsingleton.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/choose_reduction.lean` was renamed to `MathlibTest/Tactic/Choose/Reduction.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/set_like.lean` was renamed to `MathlibTest/SetLike.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/says_whitespace.lean` was renamed to `MathlibTest/Tactic/Says/Whitespace.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/reduce_mod_char.lean` was renamed to `MathlibTest/Tactic/ReduceModChar.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/cancel_denoms.lean` was renamed to `MathlibTest/Tactic/CancelDenoms.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/solve_by_elim/basic.lean` was renamed to `MathlibTest/Tactic/SolveByElim/Basic.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/simp_confluence.lean` was renamed to `MathlibTest/SimpConfluence.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/grind/field.lean` was renamed to `MathlibTest/Lean/Tactic/Grind/Field.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/observe.lean` was renamed to `MathlibTest/Tactic/Observe.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/convert2.lean` was renamed to `MathlibTest/Tactic/Convert/Convert2.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/solve_by_elim/instances.lean` was renamed to `MathlibTest/Tactic/SolveByElim/Instances.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/norm_num_rpow.lean` was renamed to `MathlibTest/Tactic/NormNum/NormNumRPow.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/slim_check.lean` was renamed to `MathlibTest/SlimCheck.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/success_if_fail_with_msg.lean` was renamed to `MathlibTest/Tactic/SuccessIfFailWithMsg.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/import_all.lean` was renamed to `MathlibTest/ImportAll.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/Clear_.lean` was renamed to `MathlibTest/Tactic/Clear_.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/CountHeartbeats.lean` was renamed to `MathlibTest/Util/CountHeartbeats.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/DeprecatedModule.lean` was renamed to `MathlibTest/Linter/DeprecatedModule/DeprecatedModule.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/WhitespaceLinter.lean` was renamed to `MathlibTest/Linter/Whitespace.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/DocString.lean` was renamed to `MathlibTest/Linter/DocString.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/Tactic/Recall.lean` was renamed to `MathlibTest/Tactic/Recall/Recall.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/deriving_countable_module.lean` was renamed to `MathlibTest/DeriveCountableModule.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/CalcQuestionMark.lean` was renamed to `MathlibTest/Tactic/Widget/CalcQuestionMark.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/jacobiSym.lean` was renamed to `MathlibTest/JacobiSymbol.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/UnsetOption.lean` was renamed to `MathlibTest/Tactic/UnsetOption.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/Tactic/Ring.lean` was renamed to `MathlibTest/Tactic/Ring/Ring.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/Check.lean` was renamed to `MathlibTest/Tactic/Check.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/AesopUnusedTactic.lean` was renamed to `MathlibTest/Linter/UnusedTactic/AesopUnusedTactic.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/Real.lean` was renamed to `MathlibTest/Data/Real.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/aesop_cat.lean` was renamed to `MathlibTest/AesopCat.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/eval_elab.lean` was renamed to `MathlibTest/EvalElab.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/norm_num.lean` was renamed to `MathlibTest/Tactic/NormNum/NormNum.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/mod_cases.lean` was renamed to `MathlibTest/Tactic/ModCases.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/grind/set.lean` was renamed to `MathlibTest/Lean/Tactic/Grind/Set.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/Monotonicity.lean` was renamed to `MathlibTest/Tactic/Monotonicity.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/GCongr/mod.lean` was renamed to `MathlibTest/Tactic/GCongr/mod.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/slow_simp.lean` was renamed to `MathlibTest/SlowSimp.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/ClearExcept.lean` was renamed to `MathlibTest/Tactic/ClearExcept.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/grind/lint.lean` was renamed to `MathlibTest/Lean/Tactic/Grind/Lint.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/grind/field_instance.lean` was renamed to `MathlibTest/Lean/Tactic/Grind/FieldInstance.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/SplitIfs.lean` was renamed to `MathlibTest/Tactic/SplitIfs.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/norm_num_flt.lean` was renamed to `MathlibTest/Tactic/NormNum/NormNumFLT.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/PrivateModuleLinter/reservedName2.lean` was renamed to `MathlibTest/Linter/PrivateModuleLinter/ReservedName2.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/DeprecatedSyntaxLinter.lean` was renamed to `MathlibTest/Linter/DeprecatedSyntaxLinter.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/rewrites.lean` was renamed to `MathlibTest/Lean/Tactic/Rewrites.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/instance_diamonds/FieldTheory/IsAlgClosed/AlgebraicClosure.lean` was renamed to `MathlibTest/InstanceDiamonds/FieldTheory/IsAlgClosed/AlgebraicClosure.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/GCongr/GCongr.lean` was renamed to `MathlibTest/Tactic/GCongr/GCongr.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/apply_rules.lean` was renamed to `MathlibTest/Tactic/ApplyRules.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/conv_widget.lean` was renamed to `MathlibTest/Tactic/Widget/Conv.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/GuardHypNums.lean` was renamed to `MathlibTest/Tactic/GuardHypNums.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/norm_cast.lean` was renamed to `MathlibTest/NormCast.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/DocPrime.lean` was renamed to `MathlibTest/Linter/DocPrime.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/finset_repr.lean` was renamed to `MathlibTest/FinsetRepr.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/CompileInductive.lean` was renamed to `MathlibTest/Util/CompileInductive.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/norm_num_ordinal.lean` was renamed to `MathlibTest/Tactic/NormNum/NormNumOrdinal.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/PrivateModuleLinter/importOnly.lean` was renamed to `MathlibTest/Linter/PrivateModuleLinter/ImportOnly.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/LintStyle.lean` was renamed to `MathlibTest/Linter/Style/LintStyle.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/PrivateModuleLinter/nonModule.lean` was renamed to `MathlibTest/Linter/PrivateModuleLinter/NonModule.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/instance_diamonds/Data/Complex/Module.lean` was renamed to `MathlibTest/InstanceDiamonds/Data/Complex/Module.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/derive_encodable.lean` was renamed to `MathlibTest/DeriveEncodable.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/LibraryRewrite.lean` was renamed to `MathlibTest/Tactic/Widget/LibraryRewrite.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/enat_to_nat.lean` was renamed to `MathlibTest/ENatToNat.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/finsupp_notation.lean` was renamed to `MathlibTest/FinsuppNotation.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/byContra.lean` was renamed to `MathlibTest/Tactic/ByContra.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/TermReduce.lean` was renamed to `MathlibTest/Util/TermReduce.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/Inhabit.lean` was renamed to `MathlibTest/Tactic/Inhabit.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/SetNotationForOrder.lean` was renamed to `MathlibTest/Tactic/SetNotationForOrder.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/Tactic/Push.lean` was renamed to `MathlibTest/Tactic/Push/Push.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/toAdditive.lean` was renamed to `MathlibTest/Tactic/ToAdditive/ToAdditive.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/Linarith/NNReal.lean` was renamed to `MathlibTest/Tactic/Linarith/NNReal.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/fin_cases.lean` was renamed to `MathlibTest/Tactic/FinCases.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/PrivateModuleLinter/notation3.lean` was renamed to `MathlibTest/Linter/PrivateModuleLinter/Notation3.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/FlexibleLinter.lean` was renamed to `MathlibTest/Linter/FlexibleLinter.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/order.lean` was renamed to `MathlibTest/Tactic/Order.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/Constructor.lean` was renamed to `MathlibTest/Tactic/Constructor.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/instance_diamonds/algebra_rat.lean` was renamed to `MathlibTest/Algebra/Algebra/Rat.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/CommDiag.lean` was renamed to `MathlibTest/Tactic/Widget/CommDiag.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/oldObtain.lean` was renamed to `MathlibTest/Linter/OldObtain.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/HaveLetLinter.lean` was renamed to `MathlibTest/Linter/HaveLetLinter.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/module.lean` was renamed to `MathlibTest/Tactic/Module.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/Bound/bound.lean` was renamed to `MathlibTest/Tactic/Bound/Bound.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/ForbiddenModuleNames.lean` was renamed to `MathlibTest/Linter/ForbiddenModuleNames.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/PrivateModuleLinter/reservedName1.lean` was renamed to `MathlibTest/Linter/PrivateModuleLinter/ReservedName1.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/convert.lean` was renamed to `MathlibTest/Tactic/Convert/Convert.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/DeprecatedModuleAllTest.lean` was renamed to `MathlibTest/Linter/DeprecatedModule/DeprecatedModuleAllTest.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/format_table.lean` was renamed to `MathlibTest/FormatTable.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/GCongr/inequalities.lean` was renamed to `MathlibTest/Tactic/GCongr/inequalities.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/finset_builder.lean` was renamed to `MathlibTest/FinsetBuilder.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/interval_cases.lean` was renamed to `MathlibTest/Tactic/IntervalCases.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/Clean.lean` was renamed to `MathlibTest/Tactic/Clean.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/ValidatePRTitle.lean` was renamed to `MathlibTest/Linter/ValidatePRTitle.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/apply_fun.lean` was renamed to `MathlibTest/Tactic/ApplyFun.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/DeprecatedModulePublicMetaTest.lean` was renamed to `MathlibTest/Linter/DeprecatedModule/DeprecatedModulePublicMetaTest.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/ToDual.lean` was renamed to `MathlibTest/Tactic/ToDual.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/Contrapose.lean` was renamed to `MathlibTest/Tactic/Contrapose.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/VersoHeader.lean` was renamed to `MathlibTest/Linter/VersoHeader.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/zmod.lean` was renamed to `MathlibTest/Data/ZMod.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/grind/pairwise_disjoint.lean` was renamed to `MathlibTest/Lean/Tactic/Grind/PairwiseDisjoint.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/Tactic/Says.lean` was renamed to `MathlibTest/Tactic/Says/Says.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/ProdAssoc.lean` was renamed to `MathlibTest/Tactic/ProdAssoc.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/grind/panic.lean` was renamed to `MathlibTest/Lean/Tactic/Grind/Panic.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/deriving_countable.lean` was renamed to `MathlibTest/DeriveCountable.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/grind/ordered_ring.lean` was renamed to `MathlibTest/Lean/Tactic/Grind/OrderedRing.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/DeprecatedModulePublicTest.lean` was renamed to `MathlibTest/Linter/DeprecatedModule/DeprecatedModulePublicTest.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/DeprecatedModuleNew.lean` was renamed to `MathlibTest/Linter/DeprecatedModule/DeprecatedModuleNew.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/vec_notation.lean` was renamed to `MathlibTest/Data/Fin/VecNotation.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/Quaternion.lean` was renamed to `MathlibTest/Algebra/Quaternion.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/apply_with.lean` was renamed to `MathlibTest/Tactic/ApplyWith.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/register_try_tactic.lean` was renamed to `MathlibTest/RegisterTryTactic.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/RecallModule.lean` was renamed to `MathlibTest/Tactic/Recall/Module.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/Group.lean` was renamed to `MathlibTest/Tactic/Group.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/Bound/attribute.lean` was renamed to `MathlibTest/Tactic/Bound/Attribute.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/PrivateModuleLinter/initialize.lean` was renamed to `MathlibTest/Linter/PrivateModuleLinter/Initialize.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/grind/cc.lean` was renamed to `MathlibTest/Lean/Tactic/Grind/CC.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/Linarith/Basic.lean` was renamed to `MathlibTest/Tactic/Linarith/Basic.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/GCongr/implications.lean` was renamed to `MathlibTest/Tactic/GCongr/implications.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/FunLike.lean` was renamed to `MathlibTest/Data/FunLike.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/pnat_to_nat.lean` was renamed to `MathlibTest/Tactic/PNatToNat.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/instance_diamonds.lean` was renamed to `MathlibTest/InstanceDiamonds.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/instances/CommRing_integralClosure.lean` was renamed to `MathlibTest/instances/CommRingIntegralClosure.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/renameBvar.lean` was renamed to `MathlibTest/Tactic/RenameBVar.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/TacticAnalysis.lean` was renamed to `MathlibTest/Tactic/TacticAnalysis.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/ModuleCasing.lean` was renamed to `MathlibTest/Linter/ModuleCasing.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/Have.lean` was renamed to `MathlibTest/Tactic/Have.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/tactic_timeout.lean` was renamed to `MathlibTest/TacticTimeout.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/SwapVar.lean` was renamed to `MathlibTest/Tactic/SwapVar.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/ExistsI.lean` was renamed to `MathlibTest/Tactic/ExistsI.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/solve_by_elim/dummy_label_attr.lean` was renamed to `MathlibTest/Tactic/SolveByElim/DummyLabelAttr.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/DeprecatedModuleTest.lean` was renamed to `MathlibTest/Linter/DeprecatedModule/DeprecatedModuleTest.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/grind/trig.lean` was renamed to `MathlibTest/Lean/Tactic/Grind/Trig.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/instance_diamonds/Analysis/Normed/Field/WithAbs.lean` was renamed to `MathlibTest/InstanceDiamonds/Analysis/Normed/Field/WithAbs.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/PrivateModuleLinter/hasPublic.lean` was renamed to `MathlibTest/Linter/PrivateModuleLinter/HasPublic.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/grind/linarith.lean` was renamed to `MathlibTest/Lean/Tactic/Grind/Linarith.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

[grunweg]

Labelling awaiting-author per in-person discussion: can I ask you to move files to a more fitting location (e.g., linear_combination to a Tactic directory)? Thanks a lot.
awaiting-author

[mathlib-dependent-issues]

This PR/issue depends on:

• chore: move test files and recapitalise file names (part 2) #39681
• chore: move test files and recapitalise file names (part 3) #39682
• chore: move test files and recapitalise file names (part 4) #39683
  By Dependent Issues (🤖). Happy coding!

[mathlib-merge-conflicts]

This pull request has conflicts, please merge master and resolve them.