Theorem Stream'.Seq.ofStream_cons

Modification history