Theorem Stream'.Seq.corec_nil

Modification history