π-Base
Explore Spaces Properties Theorems Questions
Advanced Contribute Help

Space S38 | Property P15

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
T2
T759
T590
T256
T569
T757
T40
T792 ∧ ∧
T156
T611 ∧ ∧ ¬
T563
T66
T36
T273
T129
T463 ∧
T277 ∧
T401
T100
T62 ∧
T17
T254
T402 ∧
T20
T123 ∧
T282
T327
T202 ∧ ∧
Data © 2025 Steven Clontz and James Dabbs (CC-BY) | Software © 2025 James Dabbs (MIT License) | GitHub
Data last synchonized: just now