Theorem Stream'.WSeq.bind_ret

Modification history