Space S39 | Property P37

is not

References

Notice: This asserted property can be deduced from the other asserted traits for this space, due to the following theorems.
Id If Then
T139
T562
T66
T390
T138 ¬
T833 ¬
T273
T112
T383
T835 ∧ ¬
T100
T113
T742 ∧ ∧
T248 ¬
T287
T121
T115
T407
T308 ∧ ∧ ¬
T523 ∧
T750
T122
T516 ∧
T846 ∧ ∧ ¬
T175 ∧
T888
T776