Theorem Stream'.Seq.terminatedAt_nil

Modification history