compact-closed-streams-via-adamek-theorem