Commit 2023-10-31 18:07 43030491

View on Github →

feat: let push_neg replace not (Set.Nonempty s) with s = emptyset (#8000)

Estimated changes