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