π-Base
Explore
Spaces
Properties
Theorems
Questions
Advanced
Contribute
Help
Space S76 | Property P49
is not
Show markdown
References
Notice:
This asserted property can be deduced from the other asserted traits for this space, due to the following theorems.
Id
If
Then
T329
T410
T183
T535
T520
T184
T437
T720
T693
T416
∧
T500
T787
∧
T119
T54
T151
∧