Theorem Stream'.WSeq.toList'_nil

Modification history