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