make v is T and v or e imply not-T for expression e
#441
| Job | Run time |
|---|---|
| 1m 6s | |
| 1m 6s |
v is T and v or e imply not-T for expression e
#441
| Job | Run time |
|---|---|
| 1m 6s | |
| 1m 6s |