Space S176 | Property P53

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
T77
T85
T248 ¬
T295 ¬
T272
T460
T172 ∧ ¬
T364
T461
T135
T360
T347
T31
T535
T127
T329
T328