Code

chore: split Init.Data.List.Lemmas#4863

Code

Merged

kim-em merged 7 commits intomasterleanprover/lean4:masterfrom split_list_lemmasleanprover/lean4:split_list_lemmasCopy head branch name to clipboardJul 30, 2024

+3,691-3,500

Commits

Commits on Jul 29, 2024

• rearrange

  kim-em

  committed
  2e9a6d4

  Copy full SHA for 2e9a6d4

Commits on Jul 30, 2024

• more rearrangement

  kim-em

  committed
  be7762d

  Copy full SHA for be7762d

• oops, add files

  kim-em

  committed
  ef8fc36

  Copy full SHA for ef8fc36

• missing prelude

  kim-em

  committed
  679c8c7

  Copy full SHA for 679c8c7

• cleanup

  kim-em

  committed
  7139b9c

  Copy full SHA for 7139b9c

• copyright header

  kim-em

  committed
  2bc976f

  Copy full SHA for 2bc976f

• missing file

  kim-em

  committed
  ddaf4fb

  Copy full SHA for ddaf4fb