π-Base
Explore Spaces Properties Theorems
Advanced Contribute

Theorem T000516

∧ ⇒

  • Converse
  • References

The converse ( ⇒ ∧ ) follows from these theorems:

Id If Then
T181
T328
T177
T173
T570
T264
T174
T35
T20
T326
T148 ∧
T137
T57
T197 ∧

Data © 2026 Steven Clontz and James Dabbs (CC-BY) | Software © 2026 James Dabbs (MIT License) | GitHub