Theorem Stream'.WSeq.destruct_congr_iff

Modification history