Space S25 | Property P155
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 |
|---|---|---|
| T66 | ||
| T629 | ||
| T664 | ||
| T670 | ∧ | |
| T3 | ||
| T4 | ||
| T593 | ||
| T600 | ||
| T1 | ||
| T264 | ||
| T757 | ||
| T602 | ∧ ∧ ¬ | |
| T251 | ||
| T326 | ||
| T703 | ||
| T429 | ∧ ¬ ∧ ¬ | |
| T249 | ¬ | |
| T330 | ||
| T40 | ||
| T39 | ||
| T878 | ||
| T588 | ∧ ∧ | |
| T308 | ∧ ∧ | ¬ |
| T523 | ∧ | |
| T750 | ||
| T347 | ||
| T761 | ∧ | |
| T846 | ∧ ∧ ¬ | |
| T537 | ∧ | |
| T888 | ||
| T776 |