Commit 2025-08-11 11:23 d9455703

feat: use grind in CategoryTheory.NatIso (#28065)

• depends on: #28022 There are still two places where we have to fall back to aesop. These work fine on nightly-testing, due to some intervening improvements to grind.