Space S25 | Property P65
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 |
---|---|---|
T272 | ||
T4 | ||
T264 | ||
T703 | ||
T705 | ||
T271 | ||
T364 | ||
T1 | ||
T326 | ||
T39 | ||
T119 | ||
T11 | ||
T360 | ||
T251 | ||
T330 | ||
T541 | ||
T535 | ||
T334 | ∧ | |
T562 | ||
T487 | ∧ ∧ ¬ | ¬ |
T82 | ||
T391 | ¬ ∧ ¬ | ¬ |
T559 | ∧ | |
T704 | ||
T83 | ∧ ¬ | ¬ |