Code

feat: add Option.or_some'#5926

Code

Merged

kim-em merged 5 commits intoleanprover:masterleanprover/lean4:masterfrom vihdzp:patch-1vihdzp/lean4:patch-1Copy head branch name to clipboardNov 5, 2024

+7-1

Commits

Commits on Nov 2, 2024

• Add Option.or_some'

  vihdzp

  authored
  5094904

  Copy full SHA for 5094904

• Update Lemmas.lean

  vihdzp

  authored
  089d4c3

  Copy full SHA for 089d4c3

• Update Lemmas.lean

  vihdzp

  authored
  5a61202

  Copy full SHA for 5a61202

• Update Lemmas.lean

  vihdzp

  authored
  d308235

  Copy full SHA for d308235

Commits on Nov 3, 2024

• Update Lemmas.lean

  vihdzp

  authored
  77067e5

  Copy full SHA for 77067e5