Theorem Stream'.Seq.destruct_eq_none

Modification history