Code

feat: Vector.getElem_flatMap#6661

Code

Merged

kim-em merged 5 commits intomasterleanprover/lean4:masterfrom getElem_flatMapleanprover/lean4:getElem_flatMapCopy head branch name to clipboardJan 16, 2025

+63

Commits

Commits on Jan 16, 2025

• feat: align List/Array/Vector.flatMap

  kim-em

  committed
  6be42b1

  Copy full SHA for 6be42b1

• feat: Vector.getElem_flatMap

  kim-em

  committed
  3246424

  Copy full SHA for 3246424

• .

  kim-em

  committed
  b0fa226

  Copy full SHA for b0fa226

• generalize to flatten

  kim-em

  committed
  f67921c

  Copy full SHA for f67921c

• merge master

  kim-em

  committed
  98238e2

  Copy full SHA for 98238e2