Space S170 | Property P65

is

References

Notice: This asserted property can be deduced from the other asserted traits for this space, due to the following theorems.
Id If Then
T281
T480
T589
T286
T485
T535
T175
T121
T562
T487 ∧ ¬ ¬
T82
T270
T122
T559
T704
T405
T83 ∧ ¬ ¬
T391 ¬ ∧ ¬ ¬