feat: List.getElem_flatten#1511

Draft

kim-em wants to merge 1599 commits intomainfrom

This pull request is big! We're only showing the most recent 250 commits

Commits on Oct 3, 2025

merge lean-pr-testing-10645
github-actions
committed

Commits on Oct 5, 2025

Trigger CI
TwoFX
committed
chore: adaptations for nightly-2025-10-03
mathlib4-bot
committed
chore: bump to nightly-2025-10-05
leanprover-community-mathlib4-bot
committed
chore: adaptations for nightly-2025-10-05
mathlib4-bot
committed
chore: adaptations for nightly-2025-10-05 (#1445)

authored

Commits on Oct 6, 2025

Commits on Oct 8, 2025

Commits on Oct 9, 2025

Commits on Oct 10, 2025

Commits on Oct 11, 2025

Commits on Oct 13, 2025

Commits on Oct 14, 2025

Commits on Oct 15, 2025

chore: bump to nightly-2025-10-15
leanprover-community-mathlib4-bot
committed
merge lean-pr-testing-10524
github-actions
committed
merge lean-pr-testing-10725
github-actions
committed

Commits on Oct 16, 2025

chore: bump to nightly-2025-10-16
leanprover-community-mathlib4-bot
committed
fix
kim-em
committed
Auto-resolved conflicts in lean-toolchain and lake-manifest.json
mathlib4-bot
committed
chore: adaptations for nightly-2025-10-16
mathlib4-bot
committed
chore: adaptations for nightly-2025-10-16 (#1464)

authored

Commits on Oct 18, 2025

Commits on Oct 19, 2025

chore: bump to nightly-2025-10-19
leanprover-community-mathlib4-bot
committed
merge lean-pr-testing-10735
github-actions
committed
merge lean-pr-testing-10822
github-actions
committed

Commits on Oct 22, 2025

Commits on Oct 24, 2025

Commits on Oct 25, 2025

Commits on Oct 28, 2025

Commits on Oct 29, 2025

Commits on Oct 30, 2025

Commits on Nov 1, 2025

chore: bump to nightly-2025-11-01
leanprover-community-mathlib4-bot
committed
merge lean-pr-testing-11017
github-actions
committed
Trigger CI
TwoFX
committed
chore: adaptations for nightly-2025-11-01
mathlib4-bot
committed
chore: adaptations for nightly-2025-11-01 (#1485)

authored

Commits on Nov 3, 2025

Commits on Nov 4, 2025

Commits on Nov 5, 2025

Commits on Nov 6, 2025

Commits on Nov 7, 2025

?
kim-em
committed
checkpoint
kim-em
committed
hmm
kim-em
committed
almost
kim-em
committed
chore: bump to nightly-2025-11-07
leanprover-community-mathlib4-bot
committed
merge lean-pr-testing-10823
github-actions
committed
Merge remote-tracking branch 'origin/main' into bump/v4.26.0
mathlib4-bot
committed
Merge commit '50d1f6a911cd591db1762e77f9771a4a679e96bb' into bump/nightly-2025-11-07
mathlib4-bot
committed
chore: adaptations for nightly-2025-11-07
mathlib4-bot
committed
Merge main into nightly-testing
leanprover-community-mathlib4-bot
committed

Commits on Nov 8, 2025

chore: bump to nightly-2025-11-08
leanprover-community-mathlib4-bot
committed
Merge remote-tracking branch 'origin/main' into bump/v4.26.0
mathlib4-bot
committed
Merge commit '14522f6ff4107d41a0ebff11cc5d0831224ffe59' into bump/nightly-2025-11-08
mathlib4-bot
committed
chore: adaptations for nightly-2025-11-08
mathlib4-bot
committed

Commits on Nov 9, 2025

Commits on Nov 14, 2025

Commits on Nov 15, 2025

Commits on Nov 16, 2025

Commits on Nov 21, 2025