opentheory-stream-1.44: Infinite stream types

Index

naturalTakeOpenTheory.Stream
nthOpenTheory.Stream
unfoldOpenTheory.Stream