Commit 2026-09-30 09:06 7b4f42a6

chore(*): turn convert! into convert where appropriate (#44324) This PR replaces convert! with convert if both result in the same goals. The entire contents of this PR is auto-generated, steps to reproduce:

• gh pr checkout [#44315](https://github.com/leanprover-community/mathlib4/pull/44315)
• lake build
• ./scripts/runSkimmer.sh
• git add Mathlib/**/*.lean
• git commit This the main chunk by volume of #39039.