π-Base
Explore Spaces Properties Theorems Questions
Advanced Contribute Help

Theorem T000108

∧ ⇒

  • Converse
  • References

The converse ( ⇒ ∧ ) follows from these theorems:

Id If Then
T437
T535
T847
T854
T119
T218
T857
T307 ∧
T42
T64
T43 ∧

Data © 2026 Steven Clontz and James Dabbs (CC-BY) | Software © 2026 James Dabbs (MIT License) | GitHub
Data last synchonized: just now