Skip to content

Merge branch 'shimura_curves' into shimura_curves_working #276

Merge branch 'shimura_curves' into shimura_curves_working

Merge branch 'shimura_curves' into shimura_curves_working #276

Annotations

2 warnings

devmirror artin_representations genus2_curves

succeeded Aug 5, 2026 in 3m 36s