Code

Add some ZUtil/Land/Fold.v lemmas#1487

Code

Merged

JasonGross merged 1 commit intomit-plv:mastermit-plv/fiat-crypto:masterfrom JasonGross:more-zutilJasonGross/fiat-crypto:more-zutilCopy head branch name to clipboardNov 9, 2022

+26

Commits

Commits on Nov 9, 2022

• Add some ZUtil/Land/Fold.v lemmas

  JasonGross

  committed
  c3a7549

  Copy full SHA for c3a7549