Code

feat: theorems for ushiftRight#33

Code

Closed

mhk119 wants to merge 1 commit intomasteropencompl/lean4:masterfrom ushiftRightopencompl/lean4:ushiftRightCopy head branch name to clipboard

+52

Commits

Commits on Nov 27, 2024

• feat: toInt_ushiftRight, ushiftRight_eq_zero

  

  mhk119

  authored and

  bollu

  committed
  5b7c654

  Copy full SHA for 5b7c654