OAI/NumberTheory/Ostmann/Quadratic/QuadraticCoprimeDivisors.lean
1 declarations, 0 contain sorry, 0 declared as axioms
Splitting the small-kernel conductor divisors into the fixed and pair parts
- theorem
OAI.Ostmann.quadratic_coprime_divisor_sumline 11