Space S28 | Property P65

is

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
T133
T77
T272
T645
T181
T245
T90
T364
T135
T328
T332
T130
T360
T127
T535
T405
T347
T437
T391 ¬ ∧ ¬ ¬
T346 ¬
T209
T524 ∧ ¬ ∧ ¬ ¬