Theorem Stream'.Seq.head_eq_none

Modification history