Commit 2024-05-03 17:44 97854885

View on Github →

refactor: simplify bundledAbstractFilteredClosure definition (#12603) no need to go through Nat.strongRec', this is essentially well-founded recursion.

Estimated changes