[Refractor] contradiction over ⊥-elim in Data/List/Fresh/Relation.Unary.Any.Propreties
#4484
| Job | Run time |
|---|---|
| 38m 50s | |
| 38m 50s |
Data/List/Fresh/Relation.Unary.Any.Propreties
#4484
| Job | Run time |
|---|---|
| 38m 50s | |
| 38m 50s |