π-Base
Explore Spaces Properties Theorems Questions
Advanced Contribute Help

Space S197 | Property P159

is not

Automatically deduced from the following:
Properties
Property Value
Theorems
Id If Then
T113
T115
T146
T119
T282
T460
T283 ∧
T461
T535
T31 ∧ ∧
T329
T175 ∧
T327
T122
T57
T98
T237
T374 ∧ ∧
Data © 2025 Steven Clontz and James Dabbs (CC-BY) | Software © 2025 James Dabbs (MIT License) | GitHub
Data last synchonized: just now