[ refactor ] Remove use of rewrite from Data.List.Membership.Propositional.Properties.Core
#948
| Job | Run time |
|---|---|
| 5s | |
| 5s |
rewrite from Data.List.Membership.Propositional.Properties.Core
#948
| Job | Run time |
|---|---|
| 5s | |
| 5s |