Theorem Stream'.Seq.coinduction

Modification history