Space S105 | Property P58

is not

References

Notice: This asserted property can be deduced from the other asserted traits for this space, due to the following theorems.
Id If Then
T101
T9
T156
T113
T26
T281
T268
T149
T121
T98
T302
T300
T122
T363
T584 ¬
T344
T613
T583
T556 ∧ ¬
T590
T40