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.
refactor: simplify bundledAbstractFilteredClosure definition (#12603)
no need to go through Nat.strongRec'
, this is essentially well-founded
recursion.