Space S000018

Also known as: ,

is a counterexample to the converse of 6 theorems
Id If Then
T24
T88 ¬
T89 ∧ ¬ ¬
T110
T122
T314 ¬