Space S000113

Show markdown

• Properties
• Theorems
• References

is a counterexample to the converse of 5 theorems

Id	If	Then
T88	∧	¬
T486	∧ ∧ ∧
T541
T635
T849