Space S111 | Property P136

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
T45 ∧
T46
T47
T49
T119
T54
T151 ∧
T693
T228
T573
T787 ∧
T813 ∧ ∧