Commit 2b8d69bc authored by Simon Spies's avatar Simon Spies

seqZ: move definition and use different length lemma

parent 3887c4f7
Pipeline #18000 canceled with stage