Resolve@Exists[{i, j, k}, i < j && j < k && i < k] (* True *)
Resolve@Exists[{i, j, k}, i < j && j == k && i == k] (* False *)
Federico
- 2.6k
- 16
- 16