Theorem MulChar.isQuadratic_iff_sq_eq_one

Modification history

2024-11-01 12:21
Mathlib/NumberTheory/MulChar/Basic.lean
feat(NumberTheory/LSeries/QuadraticNonvanishing): new file (#18302) …
Added MulChar.isQuadratic_iff_sq_eq_oneView on Github →