Theorem Stream'.Seq.head_eq_destruct

Modification history