Theorem T000622

∧ ¬

The converse ( ∧ ¬ ) follows from these theorems:

Id If Then
T599
T681
T72
T729
T601
T213
T728
T584 ¬
T545
T598