Fixed a definition of Stream-coind.
Removed unnecessary ∀.