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
T1
T101
T17
T121
T156
T18
T122
T281
T268
T9
T124
T98
T302
T26
T544
T363
T300
T335
T584 ¬
T545
T613
T766
T622 ∧ ¬
T583
T769
T590
T40