Theorem Stream'.dropLast_take

Modification history