Space S50 | Property P202
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 |
---|---|---|
T51 | ||
T593 | ||
T92 | ||
T602 | ∧ ∧ ¬ | |
T454 | ||
T78 | ||
T38 | ||
T67 | ||
T769 | ∧ | |
T300 | ||
T36 | ||
T766 | ∧ |