Commit 2024-07-01 10:39 8ed158e6
View on Github →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.