Theorem Stream'.WSeq.cons_congr

Modification history