π-Base
Explore Spaces Properties Theorems
Advanced Contribute

Space S49 | Property P33

is not

Automatically deduced from the following:
Properties
Property Value
Theorems
Id If Then
T293
T455 ¬
T303 ∧
T106 ∧
T38
T3
T454
T584 ¬
T40
T600
T74
T87
T556 ∧ ∧ ¬
T72
T122
T767 ∧
T213
T123 ∧
T389 ∧
Data © 2026 Steven Clontz and James Dabbs (CC-BY) | Software © 2026 James Dabbs (MIT License) | GitHub