Space S202 | Property P181

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
T245
T460
T284
T624
T615
T472
T565
T625
T616
T478
T266
T459
T501
T573
T35
T456 ∧ ¬
T272
T508
T364
T360