π-Base
Explore
Spaces
Properties
Theorems
Advanced
Contribute
Theorem
T000516
∧
⇒
Show markdown
Converse
References
The converse (
⇒
∧
) follows from these theorems:
Id
If
Then
T181
T328
T177
T173
T570
T264
T174
T35
T20
T326
T148
∧
T137
T57
T197
∧