Skip to content

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

Robbert Krebbersrequested to merge
robbert/seq_seqZ into master

This closes issue #57 (closed)

Edited by Robbert Krebbers

Merge request reports