Space S41 | 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
T177
T252
T273
T264
T448
T100
T460
T249 ¬
T287
T121
T66
T231
T308 ∧ ∧ ¬
T523 ∧
T750
T122
T463 ∧
T846 ∧ ∧ ¬
T175 ∧
T888
T776