Skip to content

Fix vertical scaling of Eisenstein diagrams for p-adic families - #19

Closed
roed-math wants to merge 2 commits into
mainfrom
ai/t20-padic-family-diagrams
Closed

Fix vertical scaling of Eisenstein diagrams for p-adic families#19
roed-math wants to merge 2 commits into
mainfrom
ai/t20-padic-family-diagrams

Commits

Commits on Jul 19, 2026

Commits on Aug 4, 2026