Space S65 | 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
T452
T751
T309
T173
T271
T391 ¬ ∧ ¬ ¬
T174
T11
T334