opentheory-stream-1.42: Infinite stream types

Index

naturalTakeOpenTheory.Stream
nthOpenTheory.Stream
unfoldOpenTheory.Stream