Repository navigation

Eichler-Shimura material from FLT - #696

Open

loefflerd wants to merge 9 commits into

LeanPool:mainfrom

Open

Eichler-Shimura material from FLT#696
loefflerd wants to merge 9 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