Space S17 | Property P39

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
T163
T222
T237
T291
T144
T297
T209
T299
T898 ∧ ¬ ∧ ¬