12.10.2016 18:18, Thomas Huth wrote:
The condition '!A || (A && B)' is equivalent to '!A || B'.
Applied to -trivial, thanks! /mjt
12.10.2016 18:18, Thomas Huth wrote:
The condition '!A || (A && B)' is equivalent to '!A || B'.
Applied to -trivial, thanks! /mjt