Skip to content
GitLab

Make lemmas for `seq` and `seqZ` consistent.

Merged Robbert Krebbers requested to merge robbert/seq_seqZ into master

This closes issue #57 (closed)

Edited by Robbert Krebbers