add some zip lemmas
Co-authored-by:
Robbert Krebbers <gitlab-sws@robbertkrebbers.nl>
add new line back
Loading
Please register or sign in to comment
Co-authored-by:
Robbert Krebbers <gitlab-sws@robbertkrebbers.nl>
add new line back