π-Base
Explore Spaces Properties Theorems Questions
Advanced Contribute Help

Space S39 | Property P37

is not

References

Notice: This asserted property can be deduced from the other asserted traits for this space, due to the following theorems.
Id If Then
T562
T66
T139
T138 ¬
T833 ¬
T273
T112
T390
T835 ∧ ¬
T100
T113
T383
T248 ¬
T287
T114
T742 ∧ ∧
T308 ∧ ∧ ¬
T523 ∧
T750
T509 ∧
T846 ∧ ∧ ¬
T11
T121
T888
T271
T122
T776
T175 ∧
Data © 2026 Steven Clontz and James Dabbs (CC-BY) | Software © 2026 James Dabbs (MIT License) | GitHub
Data last synchonized: just now