Space S000065

or

is a counterexample to the converse of 6 theorems
Id If Then
T39
T82
T94 ¬
T172
T175
T329