π-Base
Explore
Spaces
Properties
Theorems
Advanced
Contribute
Space
S000001
or
Properties
Theorems
References
is a counterexample to the converse of 27 theorems
Id
If
Then
T41
¬
T51
T72
T76
T94
∧
¬
T96
T111
∧
T139
T157
T190
T233
∧
T248
¬
T250
¬
T251
T275
∧
∧
T313
T349
T426
∧
T428
T446
¬
T447
T448
T449
∧
T450
T454
T481
T482