Safe to reinstate lemmas if they work on master?

Stream: nightly-testing

[Thomas Murrills]

On master, there's an adaptation note on two lemmas in Mathlib.Combinatorics.SimpleGraph.FiveWheelLike:

#adaptation_note
/--
Due to a change in `grind` between `nightly-2025-10-31` and `nightly-2025-11-02`,
this proof is no longer working. I've temporarily commented it out to get a build of
`nightly-testing`.
-/

Now, uncommenting them builds just fine.

Is grind likely to still be unstable here, or has the danger passed? :)

[Ruben Van de Velde]

I think you can restore it, yeah

[Bhavik Mehta]

I thought @John Talbot had fixed these on nightly-testing?

[Thomas Murrills]

They seem fixed, just still commented out. #31813 uncomments them.

[John Talbot]

Yes they are fixed!