Theorem Stream'.Seq.length_take_le

Modification history