Theorem Stream'.Seq1.join_cons

Modification history