Theorem Stream'.WSeq.head_cons

Modification history