π-Base
Explore Spaces Properties Theorems
Advanced Contribute

( ∧ ∧ ) ⇒

  • Converse
  • References
The converse ( ⇒ ( ∧ ∧ )) does not hold, as witnessed by
Id Name
23
27
28
51
62
96
101
102
133
156
191
1103
Data © 2025 Steven Clontz and James Dabbs (CC-BY) | Software © 2025 James Dabbs (MIT License) | GitHub