Theorem T000791

∧ ∧ ⇒

• Converse
• References

• No references available. If appropriate, please consider contributing a reference.