Commit 2026-01-15 12:34 1cfe7e64
View on Github →chore: remove declarations deprecated between 2021-01-15 and 2025-07-15 (#33988) I am happy to remove some deprecated declarations for you! Please check if there are any remaining stray comments or other issues before merging. [#nightly-testing > Mathlib `remove outdated deprecated declarations` @ 💬](https://leanprover.zulipchat.com/#narrow/channel/428973-nightly-testing/topic/Mathlib.20.60remove.20outdated.20deprecated.20declarations.60/near/568126006)