Theorem T000031

∧ ∧ ⇒

Show markdown

• Converse
• References

The converse ( ⇒ ∧ ∧ ) follows from these theorems:

Id	If	Then
T461
T777
T459
T333
T25