π-Base
Explore Spaces Properties Theorems Questions
Advanced Contribute Help

Theorem T000416

∧ ⇒

  • Converse
  • References

The converse ( ⇒ ∧ ) follows from these theorems:

Id If Then
T274
T66
T564
T218
T216
T186
T42
T293
T211 ∧
T413 ∧
T184

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