Theorem Stream'.Seq.getElem?_take

Modification history