Theorem Stream'.WSeq.head_terminates_of_head_tail_terminates

Modification history