Commit 2026-03-23 08:24 1a927190

chore: delete >6 month old deprecated modules (#36510)

• Every deprecated_module up to and including 2025-09-12.
• Mathlib.Deprecated.Estimator and Mathlib.Deprecated.MLList.BestFirst from #29549.
• Mathlib.Data.Nat.PartENat from #29231.
• Mathlib.Deprecated.RingHom from #33429 – at the time it was removed (see https://github.com/leanprover-community/mathlib4/blob/561ba4ae9408025b2d4c9403116b575b7d2a0205/Mathlib/Deprecated/RingHom.lean) there were only two declarations inside and they both had @[deprecated (since := "2025-06-09")], so there was effectively a deprecated_module (since := "2025-06-09") on top.