Space S28 | 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
T133
T77
T272
T645 ∧ ¬
T181
T245
T90
T364
T135
T328
T332
T130
T360
T127
T535
T405
T347
T437
T391 ¬ ∧ ¬ ¬
T346 ¬
T209
T524 ∧ ¬ ∧ ¬ ¬