Theorem Stream'.Seq.getLast?_toList

Modification history