Entry | Value |
---|---|
Name | stream_43 |
Conclusion | !h t. scons h t = stream (\n. if n = 0 then h else snth t (n - 1)) |
Constructive Proof | Yes |
Axiom | N|A |
Classical Lemmas | N|A |
Constructive Lemmas | |
Contained Package | stream |
Comment | Stream package from OpenTheory. |