π-Base
Explore Spaces Properties Theorems Questions
Advanced Contribute Help

Theorem T000514

∧ ∧ ⇒

  • Converse
  • References

The converse ( ⇒ ∧ ∧ ) follows from these theorems:

Id If Then
T448
T252
T251
T326
T296
T825
T330
T546
T866

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