Space S133 | Property P55

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
T410
T520
T216
T273
T614
T100
T184
T643
T185
T66
T236