π-Base
Explore Spaces Properties Theorems Questions
Advanced Contribute Help

Space S25 | Property P155

is

References

Notice: This asserted property can be deduced from the other asserted traits for this space, due to the following theorems.
Id If Then
T66
T629
T664
T670 ∧
T3
T4
T593
T600
T1
T264
T757
T602 ∧ ∧ ¬
T251
T326
T703
T429 ∧ ¬ ∧ ¬
T249 ¬
T330
T40
T39
T878
T588 ∧ ∧
T308 ∧ ∧ ¬
T523 ∧
T750
T347
T761 ∧
T846 ∧ ∧ ¬
T537 ∧
T888
T776
Data © 2026 Steven Clontz and James Dabbs (CC-BY) | Software © 2026 James Dabbs (MIT License) | GitHub
Data last synchonized: just now