Space S176 | Property P97

is not

References

  • No references available. If appropriate, please consider contributing a reference.
Notice: This asserted property can be deduced from the other asserted traits for this space, due to the following theorems.
Id If Then
T264
T268
T388
T4
T76
T670
T87
T120
T583
T593
T598
T131
T590
T602 ∧ ¬
T346 ¬
T588
T40
T429 ∧ ¬ ∧ ¬