Theorem Stream'.WSeq.head_ofSeq

Modification history