Quadratic-order prime classification

Source: url:https://github.com/ElodinLaarz/lean-thesis Authors: Caleb L. Geiger Status: verified Main declarations: QuadraticOrder.prime_inert_iff, QuadraticOrder.prime_split_iff Tags: algebraic-number-theory, quadratic-orders, legendre-symbol MSC: 11R11, 11R29, 11A15