Canonical-lane closure package for the Buzzard-Gee Conjecture: admissible-class formulation, projection gates, local-to-global bridge, and carried remainder.
reproducibility local-to-global mathematical-proof galois-representations automorphic-forms manifold-constrained canonical-lane buzzard-gee
-
Updated
Jul 2, 2026 - Python