Removal of final two `proof_wanted`.

Stream: batteries

[Wrenna Robson]

In batteries#1436, I remove the only two proof_wanted statements that currently exist in the library (I think they should have already been removed, but for whatever reason this did not happen).

I think this is (hopefully) a very quick PR to do - though I had one more question! What are the rules about when proof_wanted statements can be added?

[François G. Dorais]

There's no special rules for adding/removing proof_wanted statements. Every PR gets reviewed on its own merit.

[Wrenna Robson]

Fair :)

[François G. Dorais]

By the way, thank you for your recent contributions to Batteries! Excellent work.

You might also consider reviewing some PRs. We're a very small maintainer team at Batteries so volunteer reviewers are always welcome!

[Wrenna Robson]

I would be happy to! My own research interests are right at the Batteries/Mathlib interface really (being practical algorithms for cryptography, approximately) - I will give reviewing a look!