π-Base
Explore Spaces Properties Theorems Questions
Advanced Contribute Help

Space S112 | Property P65

is

Automatically deduced from the following:
Properties
Property Value
Theorems
Id If Then
T459
T271
T204
T11
T407
T248 ¬
T460
T93
T520
T295 ¬
T65 ∧
T560
T720
T524 ∧ ¬ ∧ ¬ ¬
T741 ∧
T391 ∧ ¬
Data © 2026 Steven Clontz and James Dabbs (CC-BY) | Software © 2026 James Dabbs (MIT License) | GitHub
Data last synchonized: just now