Space S25 | Property P22

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
T139
T712
T66
T407
T138 ¬
T390
T730
T273
T408
T67
T383
T728
T112
T86
T187
T382
T32
T759
T879
T250 ¬
T386
T31
T685 ¬