Theorem Stream'.WSeq.head_nil

Modification history