Theorem Stream'.Seq.cons_eq_cons

Modification history