Space S000227

Show markdown

• Properties
• Theorems
• References

is a counterexample to the converse of 3 theorems

Id	If	Then
T52	∧	¬
T121
T684	∧ ∧