Theorem Stream'.WSeq.flatten_congr

Modification history