Commit 2026-01-01 15:17 a7e757e9

chore: remove June 2025 deprecated declarations (#33429) The first commit is the result of running

import Mathlib
import Archive
import Counterexamples
#clear_deprecations "2025-06-01" "2025-06-30" really

For the two removed files in the second commit I argue that they effectively were deprecated_modules on the same day as their last deprecation was added; they consist entirely of deprecated declarations more than 6 months old, so there is no need to add a module deprecation.