Space S153 | Property P86

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
T590
T66
T40
T759
T273
T707
T684 ∧ ∧
T100
T918
T919 ∧