Code

feat: getLsb_replicate#4873

Code

Merged

kim-em merged 5 commits intoleanprover:masterleanprover/lean4:masterfrom opencompl:getLsb_replicateopencompl/lean4:getLsb_replicateCopy head branch name to clipboardAug 1, 2024

+48-4

Commits

Commits on Jul 30, 2024

• feat: getLsb_replicate

  Show description for a4f997b
  bollu

  committed
  a4f997b

  Copy full SHA for a4f997b

Commits on Jul 31, 2024

• chore: @[simp]

  bollu

  committed
  41c094c

  Copy full SHA for 41c094c

• chore: delete excessive paranthesization

  bollu

  committed
  d154c13

  Copy full SHA for d154c13

• feat: simplify proof with Nat.mod_def

  bollu

  committed
  fab15e3

  Copy full SHA for fab15e3

Commits on Aug 1, 2024

• Merge remote-tracking branch 'origin/master' into getLsb_replicate

  tobiasgrosser

  committed
  d9c6f8a

  Copy full SHA for d9c6f8a