Code

Theorems for ushiftRight#6005

Code

Closed

mhk119 wants to merge 3 commits intoleanprover:masterleanprover/lean4:masterfrom opencompl:ushiftRightopencompl/lean4:ushiftRightCopy head branch name to clipboard

+31

Commits

Commits on Nov 7, 2024

• ushiftRight theorems

  mhk119

  committed
  ca7a608

Commits on Nov 8, 2024

• toFin thm

  mhk119

  committed
  76b3e74

• small change

  mhk119

  committed
  6878a2d