Add uninterpreted Set implementation to Prelude.lean (#4738)
#1168
| Job | Run time |
|---|---|
| 12s | |
| 12s |
Set implementation to Prelude.lean (#4738)
#1168
| Job | Run time |
|---|---|
| 12s | |
| 12s |