Theorem Stream'.Seq.coinduction2

Modification history