Commit 2024-07-01 10:39 8ed158e6

style(Mathlib/Tactic/*): rename wrongly capitalized filenames (#13279) Mathlib.Tactic.Congrm → Mathlib.Tactic.CongrM Mathlib.Tactic.Existsi → Mathlib.Tactic.ExistsI Mathlib.Tactic.Widget.Congrm → Mathlib.Tactic.Widget.CongrM Mathlib.Tactic.Widget.Gcongr → Mathlib.Tactic.Widget.GCongr Also, we rename the namespaces and subroutines in these files.