Theorem Stream'.Seq.head_eq_some

Modification history