Space S13 | Property P16

is

Automatically deduced from the following:
Properties
Property Value
Theorems
Id If Then
T446 ¬
T574
T342
T443
T556 ∧ ¬
T692
T600
T587
T3
T107