Space S142 | Property P65

is

Automatically deduced from the following:
Properties
Property Value
Theorems
Id If Then
T46
T47
T459
T345
T49
T271
T464
T119
T11
T300
T334
T391 ¬ ∧ ¬ ¬