Theorem Stream'.WSeq.cons_append

Modification history