opentheory-stream-1.45: Infinite stream types

Index

naturalTakeOpenTheory.Stream
nthOpenTheory.Stream
unfoldOpenTheory.Stream