Theorem Stream'.Seq.head_eq_none_iff

Modification history