Theorem Stream'.Seq.val_eq_get

Modification history