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.
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.