lean4 icon indicating copy to clipboard operation
lean4 copied to clipboard
verified publisher icon leanprover

feat: additional lemmas for arrays

Open TwoFX opened this issue 1 year ago • 1 comments

Split from #4583

TwoFX avatar Jul 02 '24 09:07 TwoFX

Mathlib CI status (docs):

  • ❗ Batteries/Mathlib CI will not be attempted unless your PR branches off the nightly-with-mathlib branch. Try git rebase 554e7234330cf06efffe0cb52092e783a27561cc --onto 4d0b7cf66c140dd83f8c8634293047335a385026. (2024-07-03 03:39:15)

leanprover-community-mathlib4-bot avatar Jul 03 '24 03:07 leanprover-community-mathlib4-bot