Commit 2025-07-16 20:44 cc10a0af

View on Github →

chore(Bernoulli): remove use of WellFounded.fix (#27222) The preferred method is to use well-founded recursion. I'm not sure why there's a bare WellFounded.fix there.

Estimated changes