Repository navigation

Eichler-Shimura material from FLT - #696

Open

loefflerd wants to merge 25 commits into

LeanPool:mainfrom

loefflerd:main

Open

Eichler-Shimura material from FLT#696
loefflerd wants to merge 25 commits into
LeanPool:mainfrom
loefflerd:main

Commits on Oct 20, 2026
- Eichler-Shimura material from FLT
  loefflerd
  committed
  ea5f6ae
- Clarify Eichler-Shimura assumptions and expose the project entry
  Vilin97
  committed
  7860bd0
- extend Hecke equivariance
  loefflerd
  committed
  da8d283
- Expose the unconditional Eichler-Shimura headline from the project entry
  Vilin97
  committed
  8b9383b
Commits on Oct 21, 2026
- fix unused-variable warnings, tighten up main results
  loefflerd
  committed
  69312de
- Merge remote-tracking branch 'refs/remotes/origin/main'
  loefflerd
  committed
  74ec11a
- typo
  loefflerd
  committed
  5b7008d
Commits on Oct 22, 2026
- Lots of code improvements
  loefflerd
  committed
  6edd111
- Add more top-level theorems, reimplement P2MUtil to avoid `modifyScope`
  loefflerd
  committed
  32e2873
Commits on Oct 23, 2026
- remove heartbeat bumps
  loefflerd
  committed
  55baef7
- Add missing headers
  loefflerd
  committed
  da409f5
Commits on Oct 24, 2026
- shorten long proofs
  loefflerd
  committed
  8500b7e
- Shorten 3 more long proofs
  loefflerd
  committed
  737787b
- Remove long proofs over 200 lines
  loefflerd
  committed
  fc3c334
- Fix files failing the "long proof" script (all false positives)
  loefflerd
  committed
  34205a0
- use fewer main decls
  loefflerd
  committed
  3f185ef
- shake imports
  loefflerd
  committed
  5c841e5
Commits on Oct 25, 2026
- Fix unused arguments and simp normal-form lint
  loefflerd
  committed
  08e47e5
- remove lint
  loefflerd
  committed
  4ef5e56
- update attributions
  loefflerd
  committed
  a43e5de
Commits on Oct 26, 2026
- remove redundant material
  loefflerd
  committed
  eae921e
Commits on Nov 2, 2026
- Correct constant-extension and elliptic-quotient citation scope
  Vilin97
  authored
  bd4ffd8
Commits on Nov 4, 2026
- simplification
  loefflerd
  committed
  07bc9d0
- Merge remote-tracking branch 'upstream/main'
  loefflerd
  committed
  1fa8705
- Rebase to Mathlib 4.35.0
  loefflerd
  committed
  ac4d12d

Commits

Commits on Oct 20, 2026

Commits on Oct 21, 2026

Commits on Oct 22, 2026

Commits on Oct 23, 2026

Commits on Oct 24, 2026

Commits on Oct 25, 2026

Commits on Oct 26, 2026

Commits on Nov 2, 2026

Commits on Nov 4, 2026