Theorem Stream'.Seq.head_cons

Modification history