[Merged by Bors] - chore: update deprecated declarations in *.yamls

[thorimur]

Updates deprecated declarations in 1000.yaml, overview.yaml, and undergrad.yaml. Found with #38313.

Note: in 1000.yaml, the removed declaration ProbabilityTheory.binomial_tendsto_poissonPMFReal_atTop has been deprecated in favor of the adjacent already-present declaration ProbabilityTheory.tendsto_choose_mul_pow_of_tendsto_mul_atTop.

---

Disclosure: I threw the following output:

Entries in `docs/undergrad.yaml` refer to 4 declaration(s) that are deprecated. Please update the document to refer to the following declaration(s):
  Bilinear and Quadratic Forms Over a Vector Space :: Bilinear forms :: matrix representation: 'LinearMap.BilinForm.toMatrix' (previously 'BilinForm.toMatrix')
  Bilinear and Quadratic Forms Over a Vector Space :: Bilinear forms :: change of coordinates: 'LinearMap.BilinForm.toMatrix_comp' (previously 'BilinForm.toMatrix_comp')
  Distribution calculus :: Tempered distributions :: Fourier transforms: 'FourierTransform.fourierCLM' (previously 'TemperedDistribution.fourierTransformCLM')
  Distribution calculus :: Tempered distributions :: inverse Fourier transform: 'FourierTransform.fourierInvCLM' (previously 'TemperedDistribution.fourierTransformInvCLM')
Entries in `docs/overview.yaml` refer to 6 declaration(s) that are deprecated. Please update the document to refer to the following declaration(s):
  General algebra :: Category theory :: Cartesian closed: 'CategoryTheory.MonoidalClosed' (previously 'CategoryTheory.CartesianClosed')
  General algebra :: Field theory :: Abel-Ruffini theorem (one direction): 'isSolvable_gal_minpoly' (previously 'solvableByRad.isSolvable')
  General algebra :: Number theory :: perfection of a ring: 'Perfection' (previously 'Ring.Perfection')
  Linear algebra :: Bilinear and quadratic forms :: matrix representation: 'LinearMap.BilinForm.toMatrix' (previously 'BilinForm.toMatrix')
  Analysis :: Complex analysis :: Schwarz lemma: 'Complex.norm_le_norm_of_mapsTo_ball' (previously 'Complex.norm_le_norm_of_mapsTo_ball_self')
  Probability Theory :: Stochastic Processes :: hitting time: 'MeasureTheory.hittingBtwn' (previously 'MeasureTheory.hitting')
Entries in `docs/1000.yaml` refer to 2 declaration(s) that are deprecated. Please update the document to refer to the following declaration(s):
  Q6813106 Mellin inversion theorem: 'mellinInv_mellin_eq' (previously 'mellin_inversion')
  Q7208500 Poisson limit theorem: 'ProbabilityTheory.tendsto_choose_mul_pow_of_tendsto_mul_atTop' (previously 'ProbabilityTheory.binomial_tendsto_poissonPMFReal_atTop')

at Claude, then ensured that lake exe check-yaml passed after regenerating the json and reviewed the changes.

[github-actions]

PR summary 9b51fe6ec0

Import changes for modified files

No significant changes to the import graph

Import changes for all files

Files	Import difference

---

Declarations diff

No declarations were harmed in the making of this PR! 🐙

You can run this locally as follows

## summary with just the declaration names:
./scripts/pr_summary/declarations_diff.sh <optional_commit>

## more verbose report:
./scripts/pr_summary/declarations_diff.sh long <optional_commit>

The doc-module for scripts/pr_summary/declarations_diff.sh contains some details about this script.

---

No changes to technical debt.

You can run this locally as

./scripts/reporting/technical-debt-metrics.sh pr_summary

• The relative value is the weighted sum of the differences with weight given by the inverse of the current value of the statistic.
• The absolute value is the relative value divided by the total sum of the inverses of the current values (i.e. the weighted average of the differences).

[bryangingechen]

Thanks!
bors r+

[mathlib-bors]

Pull request successfully merged into master.

Build succeeded:

• ci (staging) / Post-CI job
• ci (staging) / Lint style
• ci (staging) / Build
• ci (staging) / Post-Build Step