Theorem Stream'.WSeq.tail_congr

Modification history