chore: leave `mpz` untouched
This PR restores the last two removals in `runtime/mpz.{h,cpp}`, `operator=(char const *)` and `power`/`_power`/`pow`, so the `mpz` wrapper is left exactly as on master.
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
This is the repository for Lean 4.
See Install Lean.
Please read our Contribution Guidelines first.
See Building Lean.