Skip to content

Eichler-Shimura material from FLT - #696

Open
loefflerd wants to merge 20 commits into
LeanPool:mainfrom
loefflerd:main
Open

loefflerd wants to merge 20 commits into
LeanPool:mainfrom
loefflerd:main

update attributions

a43e5de
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

2 warnings and 1 notice
Project metadata advisory
succeeded Oct 25, 2026 in 42s