π-Base
Explore Spaces Properties Theorems Questions
Advanced Contribute Help

Theorem T000089

∧ ⇒

  • Converse
  • References

The converse ( ⇒ ∧ ) follows from these theorems:

Id If Then
T437
T218
T535
T42
T293
T847
T413 ∧
T853
T305
T859

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