Theorem T000927

∧ ∧ ∧ ⇒

• Converse
• References

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