An implicit function theorem for the stream calculus (Logical Methods in Computer Science, 2024)