"git-rts@gitlab.mpi-sws.org:simonspies/lambda-rust.git" did not exist on "25f2d41c42c6f9216ce5dfeec25faaffe9ea2ad5"
Lemmas for `seq` and `seqZ` are inconsistent
Lemma fmap_seq j n : S <$> seq j n = seq (S j) n.
Lemma seqZ_fmap m m' n: Z.add m <$> seqZ m' n = seqZ (m + m') n.
Both in terms of naming, and their statements.