π-Base
Explore
Spaces
Properties
Theorems
Advanced
Contribute
⇒
Converse
References
The converse (
⇒
) follows from
Id
If
Then
166