π-Base
Explore Spaces Properties Theorems Questions
Advanced Contribute Help

Theorem T000109

∧ ⇒

  • Converse
  • References

The converse ( ⇒ ∧ ) follows from these theorems:

Id If Then
T448
T252
T547
T296
T326
T36
T546
T330
T91 ∧

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