Space S25 | 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
T39
T40
T76
T271
T309
T615
T11
T391 ¬ ∧ ¬ ¬
T624
T334
T625
T119