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
T759
T775
T776
T878
T172
T705
T271
T346 ¬
T762 ¬
T132
T119
T11
T524 ∧ ¬ ∧ ¬ ¬
T334
T391 ∧ ¬