-
Christoph Schwering authored
We shouldn't need that, (t == True) and (t != True) should suffice to express propositions.
Christoph Schwering authoredWe shouldn't need that, (t == True) and (t != True) should suffice to express propositions.
Loading
We shouldn't need that, (t == True) and (t != True) should suffice to express propositions.
We shouldn't need that, (t == True) and (t != True) should suffice to express propositions.