Theorem Stream'.Seq.length_nil

Modification history