Theorem Stream'.WSeq.liftRel_destruct_iff

Modification history